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:

1. Principio de identidad: es verdad que A es idéntico a A (a sí mismo). A = A
2. Principio de no contradicción: A no puede ser A y no-A al mismo tiempo. ¬(A ∧ ¬A)
3. Principio del tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad. A v ¬A