Partial preview of the text
Download Examen Logique Math 2017 and more Exams Mathematical logic in PDF only on Docsity!
\ a Ee (@1SAMM_ Institut Supérieur Des Arts Multimédias De Manouba - Université De Manouba Module: Logique Mathématique lére année cycle ingénieur Examen Janvier 2017 Une grande importance sera attribuée a la clarté des réponses Exercice 1 : prolog (6 points) Soit arbre généalogique suivant ( on prend A comme initiale des ancétres de plus haut niveau, B comme initiale des ancétres du niveau suivant, etc). aidrerauonstine = bernard+becassine |_ clement+chantal ¢ | damien } | |_ daniela _ le | | | | | | babar i+ | | celestine_ [pa & lz brigittetbaptiste |__ cedrict+charlotte | | ‘didier ,, ° | | dagobert | |__ dominique ;4 |__ caroline =e On considére |’ensemble des prédicats nécessaires pour décrire les faits relatifs a l’arbre généalogique précédant : Homme(nom). s Femme(non). Enfant(nom,nom). 1- Déterminer l’ensemble des faits relatifs a l’arbre généalogique précédant : 2-Poser deux questions fermées (a réponses Yes/No) 3- Poser deux questions ouvertes avec une seule variable. 4- Poser la question suivante "Quels couples homme/femme ont eu un enfant ensemble ?" donner dix réponses possibles. 5-Quel type de réponse peut on avoir avec la question suivante :?- homme(X),femme(X). 6- Expliciter sous forme de régles la définition des relations suivantes : 1 
