Template:Transformation rules

From HandWiki

Transformation rules
Propositional calculus
Rules of inference
Implication introduction / elimination (modus ponens) Biconditional introduction / elimination Conjunction introduction / elimination Disjunction introduction / elimination Disjunctive / hypothetical syllogism Constructive / destructive dilemma Absorption / modus tollens / modus ponendo tollens
Rules of replacement
Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material implication Exportation Tautology Negation introduction
Predicate logic
Universal generalization / instantiation Existential generalization / instantiation
v t e

See also

{{Classical logic}}
{{Logic templates}}

Retrieved from "https://handwiki.org/wiki/index.php?title=Template:Transformation_rules&oldid=28867"

Hidden category:

Sidebars with styles needing conversion