Propositional Logic
| Transformation rules |
|---|
| Propositional calculus |
|
Rules of inference Rules of replacement Commutativity Distributivity Double negation De Morgan's laws Transposition Material implication Exportation Tautology |
| Predicate logic |
| Universal generalization Universal instantiation Existential generalization Existential instantiation |
Read more about this topic: Commutative Property
Famous quotes containing the word logic:
“We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
—Ralph Waldo Emerson (1803–1882)