Material Implication (rule Of Inference)
For other uses of the term see Material implication (disambiguation).
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 |
In propositional logic, material implication is a valid rule of replacement that allows for a conditional statement to be replaced by a disjunction if and only if the antecedent is negated. The rule states that P implies Q is logically equivalent to not-P or Q and can replace each other in logical proofs.
Where "" is a metalogical symbol representing "can be replaced in a proof with."
Read more about Material Implication (rule Of Inference): Formal Notation, Example
Famous quotes containing the word material:
“One who pressed forward incessantly and never rested from his labors, who grew fast and made infinite demands on life, would always find himself in a new country or wilderness, and surrounded by the raw material of life. He would be climbing over the prostrate stems of primitive forest-trees.”
—Henry David Thoreau (18171862)