Una lógica clásica es un sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusión).
En la lógica bivalente, una proposición solo puede ser verdadera o falsa, no existen valores intermedios de verdad.
El clásico sistema de lógica bivalente es la lógica aristotélica que se sustenta en tres principios básicos: Una consecuencia de estos supuestos es que si una proposición A no es falsa, entonces debe ser verdadera.
[1] No admite tampoco matices modales en sus enunciados, tales como "es necesario que", "es imposible que", etc. Se limita al lenguaje enunciativo o declarativo.
Los sistemas de lógica modales o plurivalentes (como la lógica trivalente de Jan Łukasiewicz o la lógica trivalente de Kleene), aceptan un tercer valor, como "indeterminado" o "posible".