Día 6: Introducción. Sentencia, proposición y argumentación.

Día 20: Introducción a la teoría de conjuntos

Día 27: Comprensión y separación. Las paradojas de la implicación material

Día 3: Conectivas lógicas. Operaciones con conjuntos

Día 10: Relaciones y pares ordenados

Día 17: Relaciones de equivalencia

Día 1: Funciones

Día 15: Relaciones de equivalencia

Día 12: Rudimentos de lógica proposicional

Día 19: Equivalencia lógica. El cuadrado de las oposiciones

Día 26: Consecuencia lógica

Día 2: Equivalencia lógica. Ejercicios

Día 16: Ejercicios de equivalencia lógica

Día 23: Introducción al cálculo de secuentes

Día 2: Introducción a la lógica modal. Semánticas de Kripke

Día 16: Satisfactibilidad

Día 23: Consecuencia lógica