Pages that link to "Template:Transformation rules"
Showing 50 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)
- Material implication (rule of inference) (transclusion) (links | edit)
- Commutative property (transclusion) (links | edit)
- List of rules of inference (transclusion) (links | edit)
- Double negation (transclusion) (links | edit)
- Modus ponendo tollens (transclusion) (links | edit)
- Conjunction elimination (transclusion) (links | edit)
- Universal generalization (transclusion) (links | edit)
- Constructive dilemma (transclusion) (links | edit)
- Destructive dilemma (transclusion) (links | edit)
- Universal instantiation (transclusion) (links | edit)
- Existential generalization (transclusion) (links | edit)
- Absorption (logic) (transclusion) (links | edit)
- Existential instantiation (transclusion) (links | edit)
- Exportation (logic) (transclusion) (links | edit)
- Rule of replacement (transclusion) (links | edit)
- Tautology (rule of inference) (transclusion) (links | edit)
- Modus non excipiens (transclusion) (links | edit)
- Negation introduction (transclusion) (links | edit)
- User:Xiong (transclusion) (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:Gregbard/old watchlist2 (links | edit)
- User:Idc18 (transclusion) (links | edit)
- User:BARTCAT/sandbox-curated-page (links | edit)
- User:Tule-hog/To do (links | edit)
- User talk:Gregbard/Archive 3 (links | edit)
- Wikipedia:Templates for discussion/Log/2024 September 25 (links | edit)
- Wikipedia talk:WikiProject Logic (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2025/Jan (links | edit)
- Wikipedia talk:WikiProject Mathematics/Archive/2025 (links | edit)
- Template:Logical connectives (links | edit)
- Template:Logic (links | edit)
- Template:Logical truth (links | edit)
- Template:Set theory (links | edit)
- Template:Non-classical logic (links | edit)