# Material nonimplication

**Material nonimplication** or **abjunction** (Latin *ab* = "from", *junctio* =–"joining") 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.

It may be written using logical notation as , , or "L*pq*" (in Bocheński notation), and is logically equivalent to , and .

## DefinitionEdit

### Truth tableEdit

T | T | F |

T | F | T |

F | T | F |

F | F | F |

### Logical EquivalencesEdit

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

## PropertiesEdit

**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.

## SymbolEdit

The symbol for material nonimplication is simply a crossed-out material implication symbol. Its Unicode symbol is 219B_{16} (8603 decimal).

## Natural languageEdit

### GrammaticalEdit

"p minus q."

"p without q."

### RhetoricalEdit

"p but not q."

## Computer scienceEdit

Bitwise operation: A&(~B)

Logical operation: A&&(!B)

## See alsoEdit

## ReferencesEdit

This article does not cite any sources. (June 2017) (Learn how and when to remove this template message) |

## External linksEdit

- Media related to Material nonimplication at Wikimedia Commons

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. |