everything Source code View original

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country: US
Cloudflare location: CMH
Connection: HTTP/2
Language: Not provided

Ray ID: a22043431d8ab7b5

Jump to content

Template:Transformation rules

From Wikipedia, the free encyclopedia

Transformation rules
Propositional calculus
Rules of inference (List)
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 Modus non excipiens 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
v t e

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:Transformation_rules&oldid=1316752315"

Hidden category:

Sidebars with styles needing conversion