clase del 15/8/11

Se terminaron de presentar las reglas básicas del sistema de Deducción Natural. La próxima clase sse dará una repaso de PROP, junto con algunas observaciones sobre la meta-teoría de PROP.
Para ir pensando esto último, pueden reflexionar sobre la siguiente cuestión: supóngase que introducimos una nueva constante * al lenguaje de PROP, tal que su regla de introducción es la misma que la de la disyunción (v), mientras que su regla de eliminación es la de la conjunción. ¿Por qué es incorrecto introducir esta nueva constante?
(Hablaremos acerca de la "corrección" de una regla.)

Les dejo por último algunos ejercicios más.

http://www.megaupload.com/?d=GLA66JKF

clase del 08/08/11

En esta clase trabajamos con deducción natural para PROP. Presentamos y trabajamos con ejemplos de derivaciones mediante el empleo de las reglas de introducción y eliminación para la conjunción, disyunción y el condicional.
Les dejo ejercicios de Deducción Natural.

http://www.megaupload.com/?d=Z8B24INL