Back Material nonimplication English Adjunción lógica Spanish ضدپیامد مادی Persian Non-implicazione Italian 非含意 Japanese Материјална неимпликација Macedonian Abjunksjon NB Неімплікація Ukrainian 实质非蕴涵 Chinese
La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle[1].
Au sein de cette logique elle exprime la négation de l'implication. Cela revient à dire que pour deux propositions P et Q, la non-implication de P à Q est vraie si et seulement si "P implique Q" est fausse. Ceci est plus naturellement déclaré comme la non-implication de P à Q est vrai seulement si P est vrai et Q est faux[2].
Il peut être écrit en utilisant la notation logique :
- p⊅q
- Lpq
- p↛q
Et est équivalent à:
- p∧~q
- ↑ Jean B. Murhega, Essai de logique conceptuelle, Publibook/Société des écrivains, , 208 p. (ISBN 9782748383942 et 274838394X, lire en ligne)
- ↑ Laurent Roussarie, « L'intégrale des connecteurs logiques » [PDF], sur Chez Laurent Roussarie (consulté le )