En la clase de hoy se ha explicado la deducción natural y sus principales reglas y se han hecho ejemplos en la pizarra.
También se ha hecho una pequeña introducción al razonamiento mediante el método de los tableros(que será el tema del principio de la clase siguiente).