Non-implication
# Non-implication

La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle bivalente.

Au sein de cette logique elle exprime la négation de l'implication matérielle. Cela revient à dire que pour deux propositions P et Q, la non-implication matérielle de P à Q est vrai si et seulement si non P implique Q. Ceci est plus naturellement déclaré comme la non-implication de P à Q est vrai seulement si P est vrai et Q est faux.

Il peut être écrit en utilisant la notation logique :

       p⊅q
       Lpq
       p↛q

Et est équivalent à:

       p∧~q

## Définition

### Table de vérité

| p | q | $~\nrightarrow$ |
| - | - | - |
| T | T | F |
| T | F | T |
| F | T | F |
| F | F | F |

## Symbole

Le symbole pour la non-implication est un symbole d'implication logique barré. Son symbole Unicode est 8603 (décimal).

## Langage naturel

### Rhétorique

"p mais pas q."

## Algèbre de Boole

(A'+B)'

## Informatique

Opération Bitwise: A&(~B)

Opération logique: A&&(!B)

