Corrigé

EXAMEN LOGIQUE MATHEMATIQUE

Session Principale - Section : …
-----------------------------------------------------------------------------------------------------------------
Enseignante Responsable : Yosr SLAMA
Documents non autorisés Durée : 1H30

Exercice 1 (7 points)
Une maman a remarqué que son bébé ne dort pas bien la nuit. Son amie lui a dit que c’est
peut-être parce qu’il termine son biberon de lait le matin. Pour aider la maman a savoir si ce
que lui a raconté son amie est vrai, nous considérons les propositions suivantes :
Lait : Le bébé termine son biberon de lait du matin.
D-jour : Le bébé dort bien le jour.
D-nuit : Le bébé dort bien la nuit.

1. Formaliser les faits suivants F1 et F2 sous la forme de formules de la logique des

propositions. Ces faits sont des vérités remarquées par la maman. :
F1 : Chaque fois que le bébé termine son biberon de lait du matin, il dort bien le jour.
Lait → D-jour
F1 :
F2 :Le bébé ne dort jamais bien à la fois le jour et la nuit (il peut évidemment ne pas
bien dormir ni le jour ni la nuit)

F2 : ¬ (D-jour ˄ D-nuit)

2. Formaliser la remarque de l’amie de la maman sous la forme d’une conséquence logique R

R : F1, F2 , Lait |= ¬ D-nuit

3. Démontrer si R est vraie en utilisant une méthode de votre choix (n’utilisant pas la table de
vérité).
La méthode choisie consiste à : montrer que la formule
H =F1 ˄ F2 ˄ Lait ˄ ¬ (¬ D-nuit) est insatisfiable en la transformant en FND

Preuve. H= (Lait → D-jour) ˄ ¬ (D-jour ˄ D-nuit) ˄ Lait ˄ ¬ (¬ D-nuit)

= (¬ Lait ˅ D-jour) ˄ (¬ D-jour ˅ ¬D-nuit) ˄ (Lait ˄ D-nuit)
= (¬ Lait ˄ ¬D-jour ˄ Lait ˄ D-nuit) ˅ (¬ Lait ˄ ¬D-nuit ˄ Lait ˄ D-nuit)
˅ (D-jour ˄ ¬D-jour ˄ Lait ˄ D-nuit) ˅ (D-jour ˄ ¬D-nuit ˄ Lait ˄ D-nuit)
 H est insatisfiable

4. La maman doit savoir si « il suffit de ne pas donner un biberon entier à son bébé le matin,
pour qu’il puisse bien dormir la nuit ».
- Formaliser cette phrase : F : ¬Lait → D-nuit
- Que doit-on démontrer pour donner une réponse à la maman (on rappelle que F1 et F2 sont
toujours supposées vraies)?
F1, F2, ¬Lait |= D-nuit

-1-
- Donner une réponse à la maman en donnant brièvement une preuve ou un contre exemple.
J= (Lait → D-jour) ˄ ¬ (D-jour ˄ D-nuit) ˄ ¬Lait ˄ ¬D-nuit
= (¬ Lait ˄ ¬D-jour ˄ ¬Lait ˄ ¬D-nuit) ˅ (¬ Lait ˄ ¬D-nuit ¬Lait ˄ ¬D-nuit)
˅ (D-jour ˄ ¬D-jour ˄ ¬Lait ˄ ¬D-nuit) ˅ (D-jour ˄ ¬D-nuit ˄ ¬Lait ˄ ¬D-nuit)
= (¬ Lait ˄ ¬D-jour ˄ ¬D-nuit) ˅ ……..
Donc J est satisfiable car elle est vraie dans l’interprétation {¬ Lait, ¬D-jour , ¬D-nuit}

Exercice 2 (6 points)
En utilisant les prédicats suivants :
E(x) qui représente le fait que x est un étudiant
M(x) qui représente le fait que x est un module (une matière).
Maîtrise (x, y) qui représente le fait que x maîtrise y
Egal(x, y) qui représente le fait que x est égal à y
1. Formaliser les énoncés suivants :
F1 : Certains étudiants maîtrisent tous les modules.

x (E(x) ˄ y ( M(y)→Maitrise (x,y))) =

x y (E(x) ˄ (M(y)→Maitrise (x,y)))

F2 : Chaque étudiant maîtrise au moins un module.

x y (E(x) → (M(y) ˄ Maitrise (x,y) ) )

F2 bis : Chaque étudiant maîtrise exactement un module.

x (E(x) → ( y (M(y) ˄ Maitrise (x,y)) ˄ ( z (M(z) ˄ Maitrise (x,z)) → egal (y,z) ) )

F3 : Chaque étudiant maîtrise au plus un module.

x (E(x) → ¬ ( y z (M(y) ˄ Maitrise (x,y) ˄ M(z) ˄ Maitrise (x,z)) ˄ ¬ egal (y,z) ) )
= x (E(x) ˄ ( y z (M(y) ˄ Maitrise (x,y) ˄ M(z) ˄ Maitrise (x,z)) ) → egal (y,z) )

F4 : Aucun module n’est maîtrisé par tous les étudiants

¬ ( x y (M(x) ˄ (E(y)→ Maitrise (y,x))) )
= x y (M(x) → (E(y) ˄ Maitrise (y,x)) )

F5 : Deux étudiants ne peuvent pas maîtriser exactement les mêmes modules.

x y ( (E(x) ˄ (E(y))→ z (M(z) ˄ ((Maitrise (x,z) ˄ ¬Maitrise (y,z)) ˅ (¬Maitrise (x,z)
˅Maitrise (y,z)) ) ) )
F6 : Il y a un module qu’aucun étudiant ne maîtrise.
x y (M(x) ˄ (E(y)→ ¬Maitrise (y,x)))

2. Pour chacune des formules suivantes dire si elle est (i) valide, (ii) satisfiable mais non
valide ou (iii) insatisfiable. Justifier vos réponses.
A= F2 ˄ F6
A= ( x y (E(x) → (M(y)˄Maitrise (x,y))))˄( x (M(x) ˄ y (E(y)→ ¬Maitrise (y,x))))
A est satisfiable et invalide
Satisfiable car vraie dans I1 défini dans D1 ={a}par E(a)=M(a)=F et Maitrise(a,a)=…
Invalide car fausse dans I2 définie dans D2={a ,b} par E(a)=T M(a)=F et et Maitrise(a,a)=…
B= F1 ˄ F6
B est insatisfiable (preuve par l’absurde)

-2-
C= F2 ˅ F3
C est valide (preuve par l’absurde)

Exercice 3 (7 points)
Soient les trois formules suivantes de la logique des prédicats :
G1 = x y (P(x,y) ˅ Q(x,y))
G2 = x y ¬P(x,y)
G3 = x y Q(x,y)

1. Montrer par l’absurde que G3 est conséquence logique de G1 et G2.

On suppose qu’il existe une interprétation I dans un domaine D qui satisfait G1 et G2 mais
falsifie G3. Donc dans I :
G1 = x y (P(x,y) ˅ Q(x,y)) = T (1)
G2 = x y ¬P(x,y) = T (2)
G3 = x y Q(x,y) =F (3)

(2)=>il existe x=a de D / y ¬P(a,y)= T (4)

(1) pour x=a => y (P(a,y) ˅ Q(a,y)) = T or d’après (4) :
y Q(a,y) = T =>il existe y=b de D / Q(a,b) = T=>= x y Q(x,y) =T (5)
Contradiction entre (4) et (5)

2. La preuve de la question 1 peut se faire en démontrant qu’une certaine formule F est

insatisfiable. Donner cette formule.
F = G1 ˄ G2 ˄ ¬ G3
3. Ecrire F sous forme normale prénexe.
F = x y (P(x,y) ˅ Q(x,y)) ˄ x y ¬P(x,y) ˄ ¬ ( x y Q(x,y))
= x y (P(x,y) ˅ Q(x,y)) ˄ x y ¬P(x,y)) ˄ x y ¬Q(x,y)
= x y z t u ((P(x,y) ˅ Q(x,y)) ˄ ¬P(z,t) ˄¬ Q(x,u))

4. Donner la forme standard de Skolem S correspondante à F

Fs= x t u ((P(x,f(x)) ˅ Q(x, f(x))) ˄ ¬P(g(x),t) ˄¬ Q(x,u)) (on substitue y à f(x) et z à
g(x))

5. Donner l’ensemble de clauses C qui représentent S.

3 clauses : C1= P(x,f(x)) ˅ Q(x, f(x))

C2= ¬P(g(x),t)
C3= ¬ Q(x,u)

6. Montrer par preuve réfutationnelle (en utilisant la règle de résolution) que C représente un
ensemble de clauses vide.
Instanciation de x à a et f(x) à b dans C1 ce qui donne C’1= P(a,b) ˅ Q(a,b)
Instanciation de g(x) à a et t à b dans C2 ce qui donne C’2 = ¬P(a,b)
Instanciation de x à a et u à b dans C3 ce qui donne C’3 = ¬Q(a,b)

C’1,C’2 => Q(a,b) (C’4)

C’3,C’4 => Contradiction

-3-
7. Comparer les deux méthodes de preuves (question 1 d’une part et les questions 2,3,4,5 et 6
d’autre part). Quel est l’avantage de chaque méthode ?
La méthode 1 (absurde) est plus simple et intuitive alors que ma méthode 2 (skolémisation et
preuve réfutationnelle) est automatique et implémentable (dans les solveurs comme
MINSAT).

-4-