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 Le symbole pour la non-implication est un symbole d'implication logique barré. Son symbole Unicode est 8603 (décimal). "p mais pas q.