Material nonimplication
Logical connective From Wikipedia, the free encyclopedia
Material nonimplication or abjunction (from Latin ab 'away' and 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) |

It may be written using logical notation as , , or "Lpq" (in Bocheński notation), and is logically equivalent to , and .
Definition
Summarize
Perspective
Truth table
F | F | F |
F | T | F |
T | F | T |
T | T | F |
Logical equivalences
Material nonimplication may be defined as the negation of material implication.
![]() |
![]() |
In classical logic, it is also equivalent to the negation of the disjunction of and , and also the conjunction of and
![]() |
![]() |
![]() |
![]() |
![]() |
Properties
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.
Symbol
The symbol for material nonimplication is simply a crossed-out material implication symbol. Its Unicode symbol is 219B16 (8603 decimal): ↛.
Natural language
Grammatical
"p minus q."
"p without q."
Rhetorical
"p but not q."
"q is false, in spite of p."
Computer science
Bitwise operation: A & ~B. This is usually called "bit clear" (BIC) or "and not" (ANDN).
Logical operation: A && !B.
See also
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.