Science Fair Project Encyclopedia
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
Hypothetical Transformation Rules
09-23-2007 01:00:40
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


