Non-implication
Cet article est une ébauche concernant la logique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle bivalente[1].
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références ».
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
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
Table de vérité modifier
| p | q | |
|---|---|---|
| T | T | F |
| T | F | T |
| F | T | F |
| F | F | F |
Symbole modifier
Le symbole pour la non-implication est un symbole d'implication logique barré. Son symbole Unicode est 8603 (décimal).
Langage naturel modifier
Rhétorique modifier
"p mais pas q."
Algèbre de Boole modifier
(A'+B)'
Informatique modifier
Opération Bitwise: A&(~B)
Opération logique: A&&(!B)
Voir aussi modifier
Notes et références modifier
- Jean B. Murhega, Essai de logique conceptuelle, Publibook/Société des écrivains, , 208 p. (ISBN 9782748383942 et 274838394X, lire en ligne)
