Lógica Computacional! Introducción! rafael ramirez rafael.ramirez@upf.edu 55.316 (Tanger) Lógica Computacional! Lógica Computacional Temas: 1. 2. 3. 4. Lógica proposicional Lógica de predicados Programación lógica Especificación y verificación de programas Lógica Computacional Evaluación: Examen teoría Prácticas Seminarios Participación 60% 30% 10% se ha de aprobar tanto teoria como prác/sem Lógica Computacional Seminarios (5): grupos de 2-4 Prácticas (4): grupos de 2 Lógica Computacional E. Burke, Logic and its Applications Prentice Hall 1996 Ben-Ari, Mathematical Logic for Computer Science Prentice Hall 2001 (QA9 .B46 2001) M. Huth, Logic in computer Science, Cambridge Press 2000 (QA76.9.L63 H88 2000) Mendelson, Introduction to Mathematical Logic D.Van Nostrand Company, 1964 (BC135 .C48 1970) Lógica Computacional Contacto: Clase Seminarios/Prácticas Email Horas oficina: cita via email Anuncios, documentacion, … Moodle + http://www.dtic.upf.edu/~rramirez/lc/ Introducción! Si riego mi jardin, entonces las flores creceran; Si las flores no crecen, entonces las malasyerbas lo haran; Sabemos que las malasyerbas creceran en mi jardin; Por lo tanto, yo riego mi jardin. 8 Introducción Si canto una cancion, entonces estoy contento; Si bailo, entonces me veo tonto; Si estoy contento y me veo tonto, entonces me estoy riendo; No me estoy riendo; Por lo tanto no estoy cantando una cancion o no estoy bailando 9 Introducción Tres casas contiguas: Los ingleses viven en la casa roja. El jaguar es la mascota de los franceses. Los japoneses viven a la derecha de los dueños del caracol. Los dueños del caracol viven a la derecha de la casa azul. Quien vive donde y que mascota tiene? Hay solo una solución? 10 Introducción Una definición de lógica: la lógica es el análisis de los métodos de razonamiento En el estudio de estos métodos, la lógica esta mas interesada en la forma mas que en el contenido de los argumentos. 11 Introducción Ejemplos: 1. La suma de los digitos de un múltiplo de 3 es un múltiplo de 3 (premisa) La suma de los digitos de 10¹º no es un múltiplo de 3 (premisa) 10¹º no es un multiplo de 3 (conclusión) 2. Todo estudiante de la Pompeu juega tenis (premisa) Juan no juega tenis (premisa) Juan no es estudiante de la pompeu (conclusión) 12 Introducción La logica no estudia la verdad o falsedad de las premisas y la conclusion, sino que estudia si la verdad de las premisas implica la verdad de la conclusion. Las premisas y conclusion en 1 y 2 tienen la forma: Todo elemento de S tiene la propiedad P (premisa) X no tiene la propiedad P (premisa) X no es un miembro de S (conclusión) 13 Introducción Hay que tener precaución al usar lenguaje natural (p.e. castellano, catalán). El lenguaje natural es una notación imprecisa (ambigua) Juan ve a Pedro con el telescopio Some cars rattle; my car is some car; therefore, my car rattles. Por lo tanto se necesita un lenguaje simbólico para remplazar al lenguaje natural: lenguage formal 14