lógica clásica

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.