Material nonimplication or abjunction (latin ab = "from", junctio =–"joining") is the negation of material implication. That is to say that for any two propositions P and Q, the material nonimplication from P to Q is true if and only if P does not imply Q.
It may be written using logical notation as:
-
- p⊅q
- Lpq
- p↛q
Read more about Material Nonimplication: Properties, Symbol, Boolean Algebra, Computer Science
Famous quotes containing the word material:
“When science is learned in love, and its powers are wielded by love, they will appear the supplements and continuations of the material creation.”
—Ralph Waldo Emerson (1803–1882)