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:
Principio de identidad: es verdad que A es idéntico a A (a sí mismo). A = A
Principio de no contradicción: A no puede ser A y no-A al mismo tiempo. ¬(A ∧ ¬A)Principio del tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad.
Respuesta:
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:
Principio de identidad: es verdad que A es idéntico a A (a sí mismo). A = A
Principio de no contradicción: A no puede ser A y no-A al mismo tiempo. ¬(A ∧ ¬A)Principio del tercero excluido: A es verdadero o es falso, no hay una tercera posibilidad.
Explicación: