Non-implication

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche

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[modifier | modifier le code]

Table de vérité[modifier | modifier le code]

p q
T T F
T F T
F T F
F F F


Symbole[modifier | modifier le code]

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

Langage naturel[modifier | modifier le code]

Rhétorique[modifier | modifier le code]

"p mais pas q."

Algèbre de Boole[modifier | modifier le code]

(A'+B)'

Informatique[modifier | modifier le code]

Opération Bitwise: A&(~B)

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

Voir aussi[modifier | modifier le code]

Notes et références[modifier | modifier le code]