Arroyo tranquilo

El desarrollo de la Informática ha estimulado la creación de lógicas cuyo propósito es más modesto y, al mismo tiempo, más especializado que el de la lógica clásica

En esta sección presentaremos algunas notas en las que consideramos algunos enfoques clássicos y actuales de la lógica.


Lógica proposicional

Introducción a la lógica

Sintaxis de la lógica proposicional

Semántica de la lógica proposicional

Consecuencia Lógica

Tablas Semánticas

Lógica de primer Orden

Lenguajes de Primer Orden

Interpretaciones y Modelos

Consecuencia Lógica

Demostraciones

El Concepto de Demostración Lógica

Axiomas, reglas de inferencia, y teoremas

Deducción Natural

Cálculo de Secuentes

Otros cálculos lógicos