Principe de bivalence
From Wikipedia, the free encyclopedia
Cet article est une ébauche concernant la logique.
Le principe de bivalence est un principe de logique selon lequel toute proposition p ne peut avoir qu'une seule des deux valeurs de vérité. Elle est soit vraie, soit fausse. Une logique respectant le principe de bivalence est dite logique bivalente. La logique classique est bivalente.
Le principe de bivalence énonce que quelque chose est soit vrai, soit faux. Quelle que soit la proposition p, p est soit vraie, soit fausse. Le principe de bivalence rend les deux valeurs de vérité que sont le vrai et le faux conjointement exhaustifs. En vertu du principe de bivalence, la disjonction d'une proposition et de sa négation couvre le champ de la vérité de manière exhaustive[1].
La bivalence est une propriété qu'une théorie logique peut ou non posséder.
