Template:Formal logic

v · d Formal logic Three classic laws   Law of identity · Law of noncontradiction · Law of the excluded middle Logical constructions   Antecedent · Consequent · Premise · Conclusion · Dichotomy Logical operators   Negation (not) · Conjunction (and) · Disjunction (or) · Material implication (if then) · Biconditional (if and only if)