Taller de Lógica, III conv., 2025-2026
Rudimentos de lógica proposicional. Alfabeto y fórmulas
Semántica de la lógica proposicional
Modalidad. Semántica de Kripke
Lógicas modales, deónticas y temporales. Semántica de Kripke
Lógicas epistémicas. Entrecomillado. Opacidad referencial
Introducción a la lógica de primer orden
Clases de equivalencia. Construcción de Z, Q y los irracionales algebraicos.
Los números reales. Series infinitas