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.