Principe de bivalence

Principe logique selon lequel toute proposition est soit vraie soit fausse, sans troisième valeur possible, fondement de la logique aristotélicienne classique.