Lógica clásica

Carta Común · N.º 332096

Una lógica clásica o lógica estándar​​ es un sistema formal que respeta los siguientes principios: Principio del tercero excluido Principio de no contradicción Principio de explosión Monotonicidad de la implicación Los ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden. Las lógicas clásicas son los sistemas formales más estudiados y utilizados de todos.

Leer en Wikipedia