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: Associative Property
Famous quotes containing the word logic:
“Our argument ... will result, not upon logic by itselfthough without logic we should never have got to this pointbut upon the fortunate contingent fact that people who would take this logically possible view, after they had really imagined themselves in the other mans position, are extremely rare.”
—Richard M. Hare (b. 1919)
Related Phrases
Related Words