Pages that link to "Template:Transformation rules"
The following pages link to Template:Transformation rules:
Displaying 16 items.
- Associative property (transclusion) (← links | edit)
- Biconditional introduction (transclusion) (← links | edit)
- Biconditional elimination (transclusion) (← links | edit)
- Conditional proof (transclusion) (← links | edit)
- Conjunction introduction (transclusion) (← links | edit)
- Disjunctive syllogism (transclusion) (← links | edit)
- Disjunction introduction (transclusion) (← links | edit)
- Disjunction elimination (transclusion) (← links | edit)
- First-order logic (transclusion) (← links | edit)
- Propositional calculus (transclusion) (← links | edit)
- Modus ponens (transclusion) (← links | edit)
- Modus tollens (transclusion) (← links | edit)
- De Morgan's laws (transclusion) (← links | edit)
- Existential quantification (transclusion) (← links | edit)
- Distributive property (transclusion) (← links | edit)
- Hypothetical syllogism (transclusion) (← links | edit)