Template:Transformation rules

From Vigyanwiki

Transformation rules

Revision as of 21:54, 22 February 2023 by Indicwiki (talk | contribs) (1 revision imported from alpha:Template:Transformation_rules)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 Negation introduction
Rules of replacement
Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material implication Exportation Tautology
Predicate logic
Rules of inference
Universal generalization / instantiation Existential generalization / instantiation

Lua error in Module:TNT at line 182: Missing Commons dataset I18n/Module:TNT.tab.[[Category:Template documentation pages{{#translation:}}]]

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=Template:Transformation_rules&oldid=94148’

Hidden categories: