Pages that link to "Template:Transformation rules"
Jump to navigation
Jump to search
The following pages link to Template:Transformation rules:
Displaying 33 items.
- Associative property (transclusion) (← links)
- Biconditional introduction (transclusion) (← links)
- Biconditional elimination (transclusion) (← links)
- Conjunction introduction (transclusion) (← links)
- Disjunctive syllogism (transclusion) (← links)
- Disjunction introduction (transclusion) (← links)
- Disjunction elimination (transclusion) (← links)
- First-order logic (transclusion) (← links)
- Propositional calculus (transclusion) (← links)
- Modus ponens (transclusion) (← links)
- Modus tollens (transclusion) (← links)
- De Morgan's laws (transclusion) (← links)
- Existential quantification (transclusion) (← links)
- Distributive property (transclusion) (← links)
- Hypothetical syllogism (transclusion) (← links)
- Material implication (rule of inference) (transclusion) (← links)
- Rule of inference (transclusion) (← links)
- Commutative property (transclusion) (← links)
- List of rules of inference (transclusion) (← links)
- Double negation (transclusion) (← links)
- Modus ponendo tollens (transclusion) (← links)
- Conjunction elimination (transclusion) (← links)
- Universal generalization (transclusion) (← links)
- Constructive dilemma (transclusion) (← links)
- Destructive dilemma (transclusion) (← links)
- Universal instantiation (transclusion) (← links)
- Existential generalization (transclusion) (← links)
- Absorption (logic) (transclusion) (← links)
- Existential instantiation (transclusion) (← links)
- Exportation (logic) (transclusion) (← links)
- Rule of replacement (transclusion) (← links)
- Tautology (rule of inference) (transclusion) (← links)
- Negation introduction (transclusion) (← links)