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:
“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
—Henry David Thoreau (18171862)
Related Phrases
Related Words