contradiction logique
concept énoncé logiquement impossible
Aussi : incohérence, antilogie
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. — Wikipédia (CC BY-SA)
Nature : qualité de l'information, cause de la dépréciation sur Wikidata
Catégories : concepts abstraits
Mots du lexique : contradiction nom commun, logique nom commun