Planificación - Completitud de la Lógica Proposicional - Segunda Semana

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

• Realizar el Práctico 5 del tema Completitud de la Lógica Proposicional. Prestar especial atención a los ejercicios  2, 4, 9 y 10. Entregar las notas modificadas en el nuevo receptor hasta el lunes 17/04/2017 a las 12:00hs.
  
• Realizar y entregar un mapa conceptual del tema Completitud de PROP. El receptor estará habilitado hasta el miércoles 19/04/2017 hasta las 12:00hs.