clase del 25/7/11

En esta clase se realizó el primer parcial. A continuación empezamos a estudiar un sistema deductivo para PROP.: el sistema de Deducción Natural.

Libro de Seoane

Les dejo un libro de lógica Lógica y Argumento de José Seoane que usaremos como guía. Lean rápidamente  las páginas 49-87 (en donde pueden repasar lo que hemos visto de PROP.) y comiencen a leer el capítulo 5 (sistemas deductivos para PROP.)

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

Case del 11/7/11

Se trabajo la presentación formal de la semántica proposicional, funto con un método tabular (consicional asociado) para evaluar si una fórmula es o no una verdad lógica, en cuyo caso el argumento  formalizado es un caso de consecuencia lógica.

Les dejo un pequeño práctico de preparación para el parcial. El mismo no tendrá tantos ejercicios, pero tendra el tipo de ejercicios que allí se proponen.


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