Tautology (rule of inference)

ID: tautology-rule-of-inference

New to topics? Read the docs here!