Trabajo Práctico Nº 1 (Lógica
Proposicional: Introducción)
Trabajo Práctico Nº 2 (Lógica Proposicional: Consecuencia Semántica)
Trabajo Práctico Nº 3 (Lógica Proposicional: Resolución)
Trabajo Práctico Nº 4 (Lógica de Predicados de Primer Orden: Primera Parte)
Trabajo Práctico Nº 4 (Lógica de Predicados de Primer Orden: Segunda Parte)
Trabajo Práctico Nº 5 (Modelos de Herbrand)
Trabajo Práctico Nº 6 (Lógica de Predicados de Primer Orden: Resolución)
Trabajo Práctico Nº 7 (Lógica de Predicados de Primer Orden: Resolución)