Material nonimplication

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Material nonimplication" – news · newspapers · books · scholar · JSTOR (April 2024) (Learn how and when to remove this message)

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 ${\displaystyle P}$ and ${\displaystyle Q}$, the material nonimplication from ${\displaystyle P}$ to ${\displaystyle Q}$ is true if and only if the negation of the material implication from ${\displaystyle P}$ to ${\displaystyle Q}$ is true. This is more naturally stated as that the material nonimplication from ${\displaystyle P}$ to ${\displaystyle Q}$ is true only if ${\displaystyle P}$ is true and ${\displaystyle Q}$ is false.

It may be written using logical notation as ${\displaystyle P\nrightarrow Q}$, ${\displaystyle P\not \supset Q}$, or "Lpq" (in Bocheński notation), and is logically equivalent to ${\displaystyle \neg (P\rightarrow Q)}$, and ${\displaystyle P\land \neg Q}$.