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