What are the main properties of tautologies?
Associative
Commutative
Distributive
Law of biconditional propositions
Modus Ponens
Modus Tollens
Exportation
Transposition
Addition
14. Disjunctive Syllogism
16. Disjunctive Simplification
18. Hypothetical Syllogism