List of rules of inference

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