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

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

• Realizar el Práctico 4 del tema Deducción Natural de la Lógica Proposicional. Prestar especial atención a los ejercicios 5 y 8. Agregar a las notas entregadas anteriormente las preguntas sobre los ejercicios de práctico. Entregar las notas modificadas en el nuevo receptor hasta el lunes 03/04/2017 a las 12:00hs.
  
• Realizar y entregar un mapa conceptual del tema Deducción Natural de PROP. El receptor estará habilitado hasta el lunes 03/04/2017 hasta las 12:00hs