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

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

• Estudiar el tema Sintaxis de la Lógica Proposicional:
  • Video 1.
  • Video 2.
  • Video 3.
  • Presentación Deducción Natural.
  • Presentación Identidad.
    
• Completar las Notas Cornell sobre Semántica de la Lógica de Primer Orden utilizando la herramienta web.
  • Entregar las Notas Cornell realizadas antes del miércoles 31/05/2017 a las 12:00 hs.