Contradiction

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 ${\displaystyle \bot }$, s’oppose à la tautologie ${\displaystyle \top }$ qui est toujours vraie^[4].