List of rules of inference
|
A list of commonly used rules of inference.
Known conditional transformation rules
- Modus ponens
- Modus tollens
- Conjunction
- Disjunction
- Simplification
- Addition
- Repetition
- Disjunctive syllogism
- Hypothetical syllogism
- Constructive dilemma
- Destructive dilemma
Known biconditional transformation rules
- Double negative elimination
- Implication
- Contraposition
- Exportation
- Distribution
- De Morgan's Laws
- Commutation
- Association
- Tautology
- Equivalence