Cómo hacer formalizaciones, tablas de verdad y ejercicios de cálculo deductivo
Tema 7: "La Lógica proposicional"