Principe du tiers exclu

Le principe du tiers exclu énonce que, pour toute proposition, soit elle est vraie, soit sa négation est vraie : il n'existe pas de troisième possibilité, ce que résume la formule latine « tertium non datur ». Entre une affirmation et sa négation, l'une des deux est nécessairement vraie.

Il complète le principe de non-contradiction sans se confondre avec lui : le premier interdit que les deux soient vraies ensemble, le second exige qu'au moins l'une le soit. Certaines logiques, notamment intuitionnistes, refusent de l'admettre sans restriction, en particulier lorsqu'on ne dispose d'aucun moyen de décider laquelle des deux propositions est vraie.