Objetivos

Objetivos:

Comprender los retículos como ejemplos de conjuntos ordenados y obtener las álgebras de Boole como ejemplos de éstos.

Conocer la estructura de las álgebras de Boole Finitas.

Describir el lenguaje proposicional y el concepto de interpretación de una fórmula bien formada.

Comprender los conceptos de tautología, satisfacible/insatisfacible y contradicción para una fórmula.

Utilizar herramientas como las tablas de verdad, las interpretaciones semánticas y otras para reconocer el carácter de una fórmula.

Contenidos

Descriptores de Lógica:

Lógica Proposicional: Sintaxis y Semántica. Deducción natural. Completitud. Lógica de Predicados: Sintaxis y Semántica. Propiedades simples de la lógica de predicados. Teorías con igualdad. Deducción natural. Completitud y Aplicaciones: El Teorema de completitud. Teoremas de compacidad. Introducción a la teoría de modelos. Lógicas no-clásicas.