En la lógica bivalente, una proposición solo puede ser verdadera o falsa, no existen valores intermedios de verdad.