Pages that link to "Template talk:Transformation rules"
Showing 36 items.
- Associative property (links | edit)
- Biconditional introduction (links | edit)
- Biconditional elimination (links | edit)
- Conditional proof (links | edit)
- Conjunction introduction (links | edit)
- Disjunctive syllogism (links | edit)
- Disjunction introduction (links | edit)
- Disjunction elimination (links | edit)
- First-order logic (links | edit)
- Propositional calculus (links | edit)
- Modus ponens (links | edit)
- Modus tollens (links | edit)
- De Morgan's laws (links | edit)
- Existential quantification (links | edit)
- Distributive property (links | edit)
- Hypothetical syllogism (links | edit)
- Material implication (rule of inference) (links | edit)
- List of rules of inference (links | edit)
- Double negation (links | edit)
- Modus ponendo tollens (links | edit)
- Conjunction elimination (links | edit)
- Universal generalization (links | edit)
- Constructive dilemma (links | edit)
- Destructive dilemma (links | edit)
- Universal instantiation (links | edit)
- Existential generalization (links | edit)
- Absorption (logic) (links | edit)
- Existential instantiation (links | edit)
- Exportation (logic) (links | edit)
- Rule of replacement (links | edit)
- Tautology (rule of inference) (links | edit)
- Modus non excipiens (links | edit)
- Negation introduction (links | edit)
- User:Xiong (links | edit)
- User:Idc18 (links | edit)
- Template:Transformation rules (links | edit)