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:
“The ideas of the ruling class are in every epoch the ruling ideas, i.e. the class which is the ruling material force of society, is at the same time its ruling intellectual force.”
—Karl Marx (1818–1883)