Principe de bivalence

Un article de Wikipédia, l'encyclopédie libre.

En logique, le principe de bivalence est une version sémantique de la loi du tiers exclu ; il énonce que toute proposition P doit être soit vraie soit fausse, c'est-à-dire qu'elle ne peut prendre que deux valeurs de vérité (et qu'elle doit en prendre une).

Voir également la loi de non-contradiction.