Pages that link to "Template:Transformation rules"
From HandWiki
The following pages link to Template:Transformation rules:
Displayed 36 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Associative property (transclusion) (← links)
- De Morgan's laws (transclusion) (← links)
- Distributive property (transclusion) (← links)
- List of rules of inference (transclusion) (← links)
- Rule of inference (transclusion) (← links)
- Existential instantiation (transclusion) (← links)
- Disjunction elimination (transclusion) (← links)
- Disjunction introduction (transclusion) (← links)
- Disjunctive syllogism (transclusion) (← links)
- Double negation (transclusion) (← links)
- Conditional proof (transclusion) (← links)
- Modus ponendo tollens (transclusion) (← links)
- Tautology (rule of inference) (transclusion) (← links)
- Hypothetical syllogism (transclusion) (← links)
- Rule of replacement (transclusion) (← links)
- Biconditional elimination (transclusion) (← links)
- Modus tollens (transclusion) (← links)
- Conjunction introduction (transclusion) (← links)
- Existential generalization (transclusion) (← links)
- Universal generalization (transclusion) (← links)
- Propositional calculus (transclusion) (← links)
- Biconditional introduction (transclusion) (← links)
- Modus ponens (transclusion) (← links)
- Negation introduction (transclusion) (← links)
- First-order logic (transclusion) (← links)
- Modus non excipiens (transclusion) (← links)
- Material implication (rule of inference) (transclusion) (← links)
- Conjunction elimination (transclusion) (← links)
- Universal instantiation (transclusion) (← links)
- Existential quantification (transclusion) (← links)
- Commutative property (transclusion) (← links)
- Philosophy:Constructive dilemma (transclusion) (← links)
- Philosophy:Destructive dilemma (transclusion) (← links)
- Philosophy:Transposition (logic) (transclusion) (← links)
- Philosophy:Exportation (logic) (transclusion) (← links)
- Philosophy:Absorption (logic) (transclusion) (← links)
