Presentación del grupo 4227 - 2009-1.

Lógica proposicional.

I. Lenguajes.

(1) Lenguaje Cotidiano.

(2) Lenguaje Formal. Inducción en fórmulas.

(3) Árbol sintáctico.

(4) Lenguaje y Metalenguaje.

II. Semántica del Lenguaje Formal.

(1) Asignaciones y tablas de verdad.

(2) Tipos de enunciados.

(3) Tautologías y equivalencia lógica.

(4) Formas Normales.

III. Argumentos.

(1) Argumentos Válidos e Inválidos.

(2) Propiedades que se preservan bajo argumentos.

(3) Argumentos Válidos Básicos.

(4) Prueba formal de validez.

IV. Consecuencia Lógica.

(1) Conjuntos Satisfacibles.

(2) Consecuencia Lógica.

(3) Conjuntos completos y enicniados independientes.

(4) Teorías (completas y finitamente axiomaticas).

V. Conjuntos Finitamente Satisfacibles.

(1) Finitamente Satisfacible.

(2) Teorema de Extensión de Lindenbaum.

(3) Teorema de Compacidad y el Lema de Finitud.

VI. Un Cálculo Deductivo.

(1) Reglas de Inferencia y axiomas. Deducción.

(2) Consitencia y completo.

(3) El Lema de Finitud y el Teorema de Adecuidad.

(4) El Teorema de Extensión de Lindenbaum.

(5) Los Teoremas de Completud y de Compacidad.

-----------------------------(Si queda tiempo)------------------------------

VII. Conjuntos decidibles (versión Intuitiva).

(1) Procedimientos efectivos y algoritmos.

(2) Conjuntos efectivamente numerables y decidibles.

(3) Conjuntos Indecidibles.

(4) Teorías axiomáticas y decidibles.

VIII. El álgebra de Lindenbaum-Tarski.

(1) Equivalencia lógica, módulo una teoría.

(2) El ágebra de Lindenbaum-Tarski.

IX. Otros cálculos deductivos.

(1) El sistema de Kleene.

(2) El sistema de Nicod.

(3) El sistema de Copi.

(4) El sistema de Genzen (Deducción Natural).