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:
“Appalling is the soul of a man! Better might one be pushed off into the material spaces beyond the uttermost orbit of our sun, than once feel himself fairly afloat in himself.”
—Herman Melville (1819–1891)