Fonoteca


Taller de Lógica, III conv., 2025-2026


Rudimentos de lógica proposicional. Alfabeto y fórmulas

Semántica de la lógica proposicional

Equivalencias lógicas

Consecuencia lógica

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