LMF2017: Sintaxis de la lógica proposicional y representación del conocimiento

En la primera parte de la clase de hoy del curso Lógica matemática y fundamentos se han comentados las soluciones propuestas de la 1ª relación de ejercicios sobre sintaxis de la lógica proposicional y representación del conocimiento.

En la segunda parte, se ha explicado cómo hacer demostraciones por deducción natural usando Pandora. Su uso se muestra en este vídeo.

Finalmente, se ha propuesto la 2ª relación de ejercicios.