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:
falsehood-preserving: The interpretation under which all variables are assigned a truth value of "false" produces a truth value of "false" as a result of material nonimplication.
The symbol for material nonimplication is simply a crossed-out material implication symbol. Its Unicode symbol is 8603 (decimal).
"It's not the case that p implies q."
"p but not q."
"Just because p, doesn't mean q."
Bitwise operation: A&(!B)
Logical operation: A&&(!B)
|This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.|
|This logic-related article is a stub. You can help Wikipedia by expanding it.|