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:
“Would it not be worth while to discover nature in Milton? be native to the universe? I, too, love Concord best, but I am glad when I discover, in oceans and wildernesses far away, the material of a million Concords: indeed, I am lost, unless I discover them.”
—Henry David Thoreau (1817–1862)