Wikidata facts
- Instance of
- logical operator
- Image
- Venn0100.svg
Show 4 more facts
- TeX string
- \nrightarrow
- Unicode character
- ↛
- Commons category
- Material nonimplication
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
Article · Français
La non-implication matérielle, ou abjonction, (latin ab = "de", junctio =–"jonction") est un des 16 connecteurs binaires de la logique classique propositionnelle . 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⊅qLpqp↛q Et est équivalent à: p∧~q
Abstract from DBpedia / Wikipedia · CC BY-SA