Proposition logique composée toujours fausse, quelles que soient les valeurs de vérité attribuées à ses composantes.
Synonyme de proposition toujours fausse.
En logique booléenne, algèbre dans laquelle toute proposition est soit vraie, soit fausse, mais pas les deux à la fois. Le « principe de non-contradiction » est la loi qui veut qu’on ne peut affirmer et nier simultanément la même proposition; il est impossible qu’à la fois une chose soit et ne soit pas, qu’elle ait une propriété et qu’elle ne l’ait pas.
Exemple
La proposition « P : tout nombre naturel est à la fois pair et impair » est une contradiction, car elle est toujours fausse.