Tema 4 - clase 1

Curso 2020/2021. Matemática Discreta. Primera clase del tema 4. Repasamos los conceptos de la primera parte del tema y corregimos algunos ejercicios de la relación 12:
4:42 Ejemplo de formalización de coloración de grafos en lógica de primer orden y resolución con Vampire 4.5.
20:50 Resumen del tema 4. Lenguaje y teoría de modelos de la Lógica Clasica Proposicional.
46:27 Ejercicio 1 de la relación 12.
53:00 Ejercicio 3 de la relación 12.
57:22 Ejercicio 5d de la relación 12.
1:01:19 Ejercicio 9a de la relación 12.