Contradiction
énoncé logiquement impossible / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Contradiction?
Résumez cet article pour un enfant de 10 ans
AFFICHER TOUTES LES QUESTIONS
Pour les articles homonymes, voir Antilogie.
En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles[1]. On dit aussi que la formule est insatisfaisable[2], antilogique ou encore contradictoire[3].
L’antilogie, de symbole , s’oppose à la tautologie qui est toujours vraie[4].