![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/640px-Venn0100.svg.png&w=640&q=50)
Material nonimplication
From Wikipedia, the free encyclopedia
Material nonimplication or abjunction (Latin ab = "away", junctio= "to join") is a term referring to a logic operation used in generic circuits and Boolean algebra.[1] It is the negation of material implication. That is to say that for any two propositions and
, the material nonimplication from
to
is true if and only if the negation of the material implication from
to
is true. This is more naturally stated as that the material nonimplication from
to
is true only if
is true and
is false.
This article needs additional citations for verification. (April 2024) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/320px-Venn0100.svg.png)
It may be written using logical notation as ,
, or "Lpq" (in Bocheński notation), and is logically equivalent to
, and
.