1. Verdad y validez. Lenguaje natural y lenguaje formal.  (4 horas)
2. Operadores lógicos proposicionales. Reglas de formación de fórmulas. Formalización del lenguaje natural. (7 horas)
3. Métodos de evaluación semántica: Tablas de la verdad y Árboles semánticos. (6 horas)
4. Métodos de evaluación sintáctica: Deducción natural. Reglas básicas y reglas derivadas.  (7 horas)
5. Conceptos básicos del cálculo axiomático: axiomas, teoremas y reglas de transformación. (6 horas)

Desde finales de Octubre a mediados de enero.

Curso de 30 horas.

1. El lenguaje de la lógica de predicados. Elementos del lenguaje y reglas de formación de fórmulas. 6 horas 
2. Ampliación del lenguaje cuantificacional: descripciones definidas e identidad. 6 horas 
3. Métodos sintácticos para la validación de argumentos. Deducción natural. 6 horas 
4. Reglas semánticas para la evaluación de los argumentos: Árboles semánticos. 6 horas 
5. Aproximación a otras lógicas. Lógica modal y lógica multivalente. 6 horas 

Curso de 30 horas.