[[Proposition]] [[Logical Operations]] [[Tautology]] [[Logical Equivalence]] [[Logical Implication]] [[Deduction Rules]] [[Predicate]]