1725P @ OD. Bal al vs A Gay x @ fr.scribd.com Cas 9 SCRIBD ( Rech... Soit les faits suivants : e Si Pierre vient on joue aux cartes. e Si Pierre et Jean viennent, il y a des disputes. Si on ne joue pas aux cartes, il n’y a pas de dispute. Pierre ne vient pas 1) Représenter en calcul propositionnel les quatre faits. —Fi:poe ~ Fo: (pAj)od — Fy: ce 7d — Fy: np 2) Peut-on déduire de ces quatre faits qu’il n’y aura pas de dispute ? {Fi, Fo, Fs, Fi} Fd? 1- Est-ce que toutes les interprétations qui satisfont { F), F2, Fs, Fy} sat- isfont sd ? Non, {c,d.j,>p,} (autre notation (1110)) ou {e,d,>j, ap} (autre notation (1100)) satisfont { F,, F2, F3, Fy} mais pas sd. 2 avec la résolution { F,, F2, Fs, Fi} U {d} est incohérent ? mise sous forme clausale : {C; = apVe,C2 = apV>jvd, C3 = eVrd, Cy = ap, Cs = d} Résolution : Cs et C3: Co=e Cz et Cz: Cp =>pVajve On ne peut plus appliquer la résolution et on n’a pas produit la clause vide done { F), F2, Fy, Fy} U {d} est cohérent donc on ne peut pas déduire quwil n’y aura pas de dispute Exercice 2 : Soit les faits suivants : « Jean affirme : “Si Bernard est coupable, Sophie ’est aussi”. Q_ Rechercher... i lll Ly» Ball al es Go 17:25P @ e" x @ fr.scribd.com Cas « Bernard dit : “Jean est coupable et Sophie ne l'est pas”. e Sophie assure : “Elle n’est pas coupable mais au moins l'un des deux autres protagonistes l'est”. On suppose que chacune des personne ment si et seulement si elle est coupable. 1) Représenter en calcul propositionnel les trois affirmations. — Fy: (Aj (b> 8)) AGG (A(b 8))) — Faz (sb (GA78)) A (b> (4G. A>8))) — Fy: (48> (“8A GV 8)))A(8 > (8 A (iV 8)))) 2) Existe-il une interprétation qui satisfait les trois affirmations ? oui {b, >j, s} (autre notation (101)) Jean est innocent et Bernard et Sophie sont coupables, Exercice 3 : L’inspecteur Lafrite est chargé de l’enquéte concernant un vol de tableaux dans une galerie d’art. Tl a demandé 4 Relbou et Gremai, deux de ses adjoints de l’aider dans l’affaire. L’enquéte a abouti 4 l’arrestation de quatre personnes : Jules Rasteau, Dériré Lagrange, Michel Boileau et Félicie Ossy. Les inter- rogatoires sont conduits par les deux adjoints qui viennent faire leur rapport 1) Relbou : Jules Rasteau est innocent mais je suis persuadé qu’au moins lun des autres est coupable. F2) Gremai : Si Dériré Lagrange est coupable, alors il n'a qu'un complice, qui est d’ailleurs parmi les autres. F3) Relbou : Et si Michel Boileau est coupable, je pense qu'il a deux com- plices parmi les autres. F4) Lafrite : Si je considére que ce que vous me dites est vrai, je peux affirmer la culpabilité de l'une des quatre personnes. 1) Représenter en calcul propositionnel les quatre affirmations F1, F2, F3, FA. Fl) ajA(dvmvy f) F2) d (jA7>mAAf)V (AJA MARAf)V (AjAr>MA f) ., m+ (jJAdAA>f)V (AAA f)V (AJ AA f) F4) (FLA F2A F3) 3 (j AmmAaf And) V (Aj AmAaf Ad) Vv (=h A am A fA 7d) Vv (Aj A am Af Ad) Q_ Rechercher...17:25P @ e" » Pall all os A Co x @ fr.scribd.com Cas 2) L’ensemble des faits F = {F 1, F2, F3, F4} est-il cohérent ? Pouvez-vous aider les inspecteurs 4 trouver la personne coupable ? F = {Fl, F2, F3, FA} est cohérent {>d,f,7j.>m} (autre notation (0100)) Félicie est coupable Jules, Désiré, Michel sont innocents. Exercice 4 : Soit trois personnes Pierre, Jacques et André dont on connait les faits suiv- ants : F1) L’un des trois au moins est blond. F2) Si Pierre est blond mais pas Jacques, alors André est blond. F3) Si Jacques est blond alors Pierre ne l’est pas. F4) Soit André et Jacques sont tous les deux blonds, soit ils ne le sont ni lun, ni l'autre. 1) Représenter en calcul propositionnel les faits Fl, F2, F3, F4. Fl) pvjva F2) (pA-7j) +a F3) j + 7p F4) (aA j) Vv (-a Aj) 2) L’ensemble des faits F = {F1, F2, F3, F4} est-il cohérent ? F = {Fl, F2, F3, F4} est cohérent, l'interprétation {a,j, sp} (autre notation (110)) Peut-on répondre & la question suivante : Quel(les) est (sont) la (les) personne(s) bonde(s) ? Jacques et André sont blonds Exercice 5 : On considére l’ensemble de clauses propositionnelles suivant : C= {C, = 7av 7b, Cz = av nc, Cy , Cy = bv ad, Cy ensemble de clauses est-il cohérent ? Utiliser la résolution. dv b}. Cet Avec la résolution : C, et Cy : résolvante Cz = =b Vv 7c C; et C3 : résolvante Cs Cg et Cy : résolvante Cg = 7d Cy et Cs : résolvante Cyp = b Cx et Cio : résolvante O (clause vide) donc C est incohérent Q_ Rechercher...» Pal all os Ba 17:25P @ e" x @ fr.scribd.com Cas Avec une méthode énumérative : la méthode de Davis et Putnam C={C,=-aV 7b, C2 =aV 7c, C3 =c, Cy = b Vd, C5 = dV db}. On choisit la clause mono-littérale c, et S. = {ce}, Sic = {aV ae}, S” = {av 7b, bV=d, dvb} et SL = {O}, SL. = {a}, done C est incohérent ssi $US” et S’.US” sont incohérents. S/U S” est incohérent car il contient la clause vide. On continue avec S1.US” = {a,>aV 7b, b V ad, dV b}. On choisit la clause mono-littérale a, et S, = {a}, Sig = {>aV7b}, S” = {bvad, dvb} et S!, = {O}, S!, = {7b}, done C est incohérent ssi S/,U S” et S’,,U S” sont incohérents. Sf, U.S” est incohérent car il contient la clause vide. On continue avec $/,, US” = {7b, bv ad, dv b}. On choisit la clause mono- littérale 7b, et S., = {7b}, S, = {bv -d.dv b}, S” = 0 et S!, = {O}, Si, = {-d,d}, done C est incohérent ssi $’,, et S} sont incohérents. $’,, est incohérent car il contient la clause vide. On continue avec S{, = {>d,d} Sa = {7d}, Sa = {d}, 8” =0 et S', = {DO}, Si, = {GO}, donc C est incohérent ssi S’, et S/, sont incohérents. Or S!, est incohérent il contient la clause vide et $/ est incohérent il contient la clause vide. Donc C est incohérent. Exercice 6 : Les axiomes suivants du calcul propositionnel sont-ils des tautologies ? Ai) (P>(Q>P)) Deux variables propositionnelles apparaissent dans A1, il y a 4 interprétations, wo = {>P, -Q} (autre notation (00)), #1 = {+P, Q} (autre notation (01)), we = { P,Q} (autre notation (10)), ws = {P,Q} (autre notation (11)). Vi, 0 ((P + Q) > (P > R))) Trois variables propositionnelles apparaissent dans Ag, il y a8 interprétations, wo = {4P,=Q,5R} (autre notation (000)), w1 = {>P, +Q, R} (autre no- tation (001)), w2 = {4P,Q, +R} (autre notation (010)), w3 = {4P.Q, R} (autre notation (011)), ws: = {P,-Q,-R} (autre notation (100), ws = {P.=Q, R} (autre notation (101), ws = {P.Q, -R} (autre notation (110)), wy = {P,.Q,R} (autre notation (111)). Vi, O(Q>P)) Deux variables propositionnelles apparaissent dans Ag, il y a 4 interprétations, wo = {>P. >Q} (autre notation (00)), wv; = {>P, Q} (autre notation (01)), w. = { P,-Q} (autre notation (10)), w3 = {P,Q} (autre notation (11)). Vi, 0q)V (p> -r) et A=7p Mod(B) = {wo,w1,w2,wW3,w4,w6,W7} Mod(A) = {w4,wW6, 05, 7 Mod(B) Z Mod(A) donc BF A. Q_ Rechercher...fall all os B Goa 17:26 P @ © x @ fr.scribd.com Cas Exercice 10 : Mette les formules propositionnelles suivantes sous forme normale conjonc- tive (CNF) : 1) pV(-pVqAr) CNF: (pvr) 2) (—pAq)V(pv-q) CNF: Vrai ou T 3) ~(p>q)V(pvq) CNF:pvq Mette les formules propositionnelles suivantes sous forme normale disjonctive (DNF): 1) po ((qAr)>s) DNF: -pv-qVvorvs 2) A(pV-q) A(s3 t) DNF (=p AqA-8) V (=pAqAt) 3) =(pAqg) A(pVq) DNF: (=pAq) Vv (-q Ap) Exercice 11 : 1) Soit 2 variables propositionnelles, donner la formule propositiomelle ex- primant que l'une des propositions (et une seule) est vraie parmi les 2 propositions. Mettre cette formule sous forme normale conjonctive. (a A 7b) v (sa Ab) CNF : (av b) A (=a v 7b) Le Généraliser ce résultat 4n variables propositionnelles, en donnant la forme normale conjonctive de la formule exprimant q’une proposition (et une seule) est vraie parmi les n propositions. Une clause n-aire et (n(n — 1)/2 clauses binaires d’exclusion mutuelle (a1 V a2 V +++ V an) A (nai V Taz) A (>a, V sag) A+++ A (>an-1 V Tan) 2 Appliquer ce résultat 4 l’énigme des témoins : a l’issue d’un hold-up, quatre employés d’une banque décrivent le signalement de l’agresseur : — Selon I’hotesse, il avait les yeux bleus, était de grande taille et portait une veste et un chapeau. — Selon le caissier, il avait les yeux noirs, était de petite taille et portait une veste et un chapeau. — Selon la secrétaire, i] avait les yeux verts, était de taille moyenne et portait un imperméable et un chapeau. — Selon le directeur, il avait les yeux gris, étaj portait une veste et était nu téte. Q_ Rechercher... = @17:26 P @ °" 43 fall all vs B Goa x @ fr.scribd.com Cas Chaque témoin a décrit correctement un détail sur quatre. Par ailleus, pour chaque détail, un témoin l’a décrit correctement. Ensemble de clauses : yeux — bleus V sgrand syeux — bleus V porte — veste yeux — bleus V sporte — chapeau agrand \V porte — veste grand \ porte — chapeau sporte — veste V porte — chapeau syeux — noirs V spetit yeux — noirs V aporte — veste yeux — noirs V aporte — chapeau —petit V sporte — veste —petit V sporte — chapeau syeuxr — verts V ~moyen yeux — verts V sporte — impermeable yeux — verts V aporte — chapeau smoyen V sporte — impermeable —smoyen V sporte — chapeau sporte — impermeable V porte — chapeau syeur — gris V sgrand syeux — gris V porte — veste syeux — gris V nu — tete agrand aporte — veste =grand V anu — tete porte — veste V snu — tete yeux — bleus A yeux — noirs A yeux — verts A yeux — gris yeux — bleus \ -yeux — noirs syeuxr — bleus \ syeux — verts syeur — bleus \ syeux — gris syeur — noirs \ syeux — verts ayeur — noirs \ yeux — gris syeur —verts \ syeur — gris grand moyen V petit agrand \¥ moyen agrand \ spetit moyen V petit porte — veste V porte — impermeable ta gta Q_ Rechercher... a17:26 P @ OD. Bal all vs A Gow x @ fr.scribd.com Cas sporte — veste V sporte — impermeable porte — chapeau V nu — tete —porte — chapeau V nu — tete yeus — bleus \ grand A poste — veste A porte — chapeau yeus — noirs /\ petit \ poste — veste A porte — chapeau yeus — verts \ moyen A poste — impermeable A porte — chapeau yeus — gris \ grand A poste — veste \ nu — tete Cet ensemble de clauses est cohérent, interprétation : {yeua—bleus, syeux—noirs, syeux—verts, syeur—gris, sgrand, smoyen, petit, aporte — veste, porte — impermeable, porte — chapeau, nu — tete} signalement de l’agresseur : yeux — bleus , petit, porte — impermeable, nu — tete = @ Q_ Rechercher...