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
No hay comentarios:
Publicar un comentario