English Wikipedia - The Free Encycl...
Download this dictionary
Material implication (rule of inference)
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
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License