A Examen final Logigue Mathématique 2°" Années SI Université 08 Mai 45 de Guelma Département d’Informatique ‘Guelma, le 28 Janvier 2016 Durée de Vexamen ; Deux (2) Heurs prenctce 1: (Caleulabilité & Déci dabilite) (6 pts) cit L* Le langage (a, b,c} et fle code FL" —» {0,1} définit par nstruise fa) = 00, £1) OL et fe) = : nse des Machines Tn resonate ks go sans +L) = tx: #7! (x) termine par la fettie <) ° 2.12 x 10x) posséde au moins Ia, 1 bet Le}. 3.13 = {x £71 (x) est un palindrome}. EXERCICE 2: (Logique propositionnelle f -5 pts) Considérez la formule logique @ =a Vb = (a & b) 1, Donnez sa table de vérite, 2. Donnez une forme normale disjonctive canonique de cette formule 3. Parmi les formules suivantes, laquelle est équivalente a ® V1 =(a=b) A (-b =a) WY2 = (xb © a) A(b = -a) Justiftex. 4, Donnez une suite de simplifications permettant de passer de V1 ou ‘72 4 ®. Indiquez les régles utilisées. EXERCICE 3 : (Logique propositionnelle I -5 pts) Soit fe systéme d’axiomes du caleul propositionnel 1. Axl:A>(B> A) 2) Ax: (A> Bo OCA B) >A O) 3. AX3: (2B 7A) > (A= B) Et la régle du Modus Ponens: si fA et bA— Balors FB. ‘Montrer que l'on a: 1) AF(B>A), 2) (AB), BOF (AO) 3) A> (Br ORBOA TO :XERCICE 4: (Logique des Prédicat -5 pts) ‘Modélisez les phrases suivantes en logique des prédicat 1. Tous les étudiants aiment la logique. me pas une matiére. % s, Vous préciserez le vocabulaire utilisé, 2. Chaque étudiant n'ain diants n‘aiment pas une matiére, rote en logique sont les meilleurs que, alors lenseignant est content, 3, Tous les étu 4, Les étudiants qui ont une bonne 1 5, Si tous les étudiants aiment Ia logit 5 : a? « Ramenez les Formules trouvé sous la forme ce skolem Bonne Chance