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:
“Culture requires in the first place a certain balance of material and spiritual values.”
—Johan Huizinga (1872–1945)