En lógica, el principio semántico o ley de bivalencia establece que cada frase declarativa que expresa una proposición (de una teoría que se inspecciona) tiene exactamente un valor de verdad, ya sea cierta o falsa.
[3][2][4] En la lógica formal, el principio de bivalencia deviene una propiedad que una semántica puede o no poseer.
Aunque no es lo mismo que la ley de medio excluido, en semántica puede satisfacer a esta sin ser bivalente.
Frases las cuales pronostican acontecimientos en el futuro, y frases que parecen abiertas a interpretación, son particularmente difícil para aquellos filósofos que sostienen que la lógica binaria se aplica a todas las declaraciones de lengua natural declarativas.
[5]Se han propuesto la lógica difusa y otras lógicas multivaluadas como alternativas a la lógica bivalente, donde la verdad y la falsedad se dan en distintos grados, que adoptan infinitos valores reales entre el 0 y el 1.