Contradiction Logique
concept
énoncé logiquement impossible
En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles. On dit aussi que la formule est insatisfaisable, antilogique ou encore contradictoire. L’antilogie, de symbole ⊥ {\displaystyle \bot } , s’oppose à la tautologie ⊤ {\displaystyle \top } qui est toujours vraie.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Contradiction
Lien Wikidata : https://www.wikidata.org/wiki/Q363948
Propriétés
- p279_labels
- qualité, Q65088633, incohérence, Q135268494