Planificación - Deducción Natural de la Lógica de Primer Orden - Segunda Semana

Actividades correspondientes al tema Deducción Natural de la Lógica de Primer Orden

• Realizar y entregar un mapa conceptual del tema Deducción Natural de PRED. El receptor estará habilitado hasta el miércoles 07/06/2017 hasta las 12:00hs.
• Realizar el Práctico 8. Prestar especial atención a los ejercicios 3, 5, 6 y 8. Entregar las notas modificadas en el nuevo receptor hasta el lunes 05/06/2017 a las 12:00hs.