En resumen hoy vimos:

• ¿Qué es la lógica?
• Lógica proposicional vs Lógica de predicados
• Buenos y Malos razonamientos
  
• Conectores lógicos
• Introducción a Prolog
  
• Terminología

Tarea para la próxima clase:

TP1Hacer los siguientes predicados (utilizando como guía a tu propia familia)

• padre/2 (el único definido a través de hechos, todos los otros tienen que estar definidos a través de reglas)
  
• hermano/2
  
• abuelo/2
• tio/2
• primo/2

    El TP1 se resuelve con SWI-Prolog en sus casas y se entrega impresa la resolución el miércoles 01/09 al inicio de la clase

También pueden revisar el material del cuatrimestre pasado para mas links haciendo click aca.