Práctico 3 de abril

Hola,

A pedido de algunos alumnos, el lunes en prácticos veremos una introducción al cálculo de secuentes. Se trata de un método de prueba muy utilizado en discusiones de filosofía de la lógica (de hecho lo habrán visto en varios papers de teóricos), que sin embargo no enseñamos en lógica 1 porque es más complejo que deducción natural. Seguimos con lógica clásica porque prefiero esperar a que introduzcan lógica modal en teóricos (es decir, en prácticos arrancamos con lógica modal el 10 de abril).

Recuerden que los ejercicios para la clase eran probar estos teoremitas en tableaux:

ejercicios

Para los que quedaron entusiasmados con tableaux, acá pueden encontrar una nota que preparé con la prueba de completitud en castellano.

Respecto al cálculo de secuentes, mañana estaremos utilizando este apunte que preparé, que incluye los ejercicios para la clase del 10 de abril.

Saludos y nos vemos el lunes,

Diego

Leave a Reply

Your email address will not be published. Required fields are marked *