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:
“In the wildest nature, there is not only the material of the most cultivated life, and a sort of anticipation of the last result, but a greater refinement already than is ever attained by man.... Nature is prepared to welcome into her scenery the finest work of human art, for she is herself an art so cunning that the artist never appears in his work.”
—Henry David Thoreau (18171862)