Main Page | See live article | Alphabetical index A list of commonly used rules of inference. Table of contents 1 Known Conditional Tranformation Rules 2 Known Biconditional Transformation Rules 3 Hypothetical Transformation Rules Known Conditional Tranformation Rules Modus ponens Modus tollens Conjunction Disjunction Simplification Addition Repetition Disjunctive syllogism Hypothetical syllogism Constructive dilemma Destructive dilemma Known Biconditional Transformation Rules Double negation Implication Contraposition Exportation Distribution De Morgan's Laws Commutation Association Tautology Equivalence Hypothetical Transformation Rules Conditional proof Indirect proof This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.