Université Mouloud MAMMERI de Tizi-Ouzou Année universitaire : 2016/2017

Faculté de génie électrique et informatique 2 année licence – Informatique

ième

Département d’informatique module : Logique Mathématique

Examen de Rattrapage
Le : 07/09/2017 – Durée 1h 30mn

Exercice 1 : (8 pts)
Dans ma mallette de peintre, j’ai des tubes de peinture. Les couleurs dont je dispose sont parmi les
suivantes : rouge, jaune, bleu, orange, gris, noir. On désignera par :
● R la proposition : « j’ai du rouge » (= « j’ai un tube de rouge ») ;
● J la proposition : « j’ai du jaune » ;
● B la proposition : « j’ai du bleu » ;
● O la proposition : « j’ai du orange » ;
● G la proposition : « j’ai du gris » ;
● N la proposition : « j’ai du noir ».
1) Ecrire sous forme de formule bien formée du calcul propositionnel, chacune des affirmations suivantes :
(a) Je n’ai pas de jaune. (1,5 pts)
(b) Si j’ai du rouge alors je n’ai ni noir ni gris. (1,5 pts)
(c) Des trois couleurs : bleu, jaune et rouge, j’en ai au moins deux. (1,5 pts)
(d) Des deux couleurs gris et orange, j’en ai exactement une. (1,5 pts)
2) On suppose que les quatre affirmations ci-dessus sont vraies. Est-il possible d’en déduire le contenu exact
de ma mallette ? Si oui, donner le contenu. Dans tous les cas, on justifiera le raisonnement. (2 pts)

Exercice 2 : (6 pts)
À l’aide de la méthode axiomatique, montrer que les formules F1, F2 et F3 sont des théorèmes :
1) F1 = (B  (  A   B))  (B  A)
2) F2 = A  ((B  C)  (((B  C)  (A  B))  C))
3) F3 = (B   B)  (A   (A  B))

Exercice 3 : (6 pts)
Soient les réactions chimiques :
MgO + H2  Mg + H2O
C + O2  CO2
CO2 + H2O  H2CO3
1) Représenter les réactions chimiques précédentes par des formules du calcul propositionnel. (3 pts)
2) En utilisant la résolution propositionnelle, montrer qu’à partir de certaines quantités de MgO, H2,
O2 et C, on peut produire du H2CO3. (3 pts)
Bon courage !

UMMTO / L2 informatique / Logique Mathématique / Rattrapage 2017 / M.S. Habet, Y. Yesli, H. Rabahallah
 Bref corrigé : (Rattrapage de Log-Mat – L2 informatique – 2016/2017)
Ex. 1 :
1) (a) = J
(b) = R  (N  G)
(c) = (B  J)  (B  R)  (J  R)
(d) = (G  O)  (G  O)

2) Puisque les quatre propositions (a), (b), (c) et (d) sont simultanément vraies, on peut déduire ce qui suit :
De (a), on a : J=faux ; d’où B = vrai et R = vrai car (c) est vraie.
Puisque R = vrai, et d’après la formule (b), on déduit que N = faux et G = faux.
Puisque G = faux, et d’après (d), O = vrai.
En conclusion, la mallette contient les tubes de couleurs : bleu, rouge et orange ; mais elle ne contient
pas : jaune, noir et gris.

Ex. 2 :
1) ⊢ F1 ; avec F1 = (B  (  A   B))  (B  A)
1. B  (A  B) hyp
2. (A  B)  (B  A) Ax3
3. B  (B  A) Transitivité + 1. + 2.
4. (B  (B  A))  (B  A) thm f1, exo 14, série 2
5. B  A MP + 3. + 4.
On a : B  (A  B) ⊢ B  A ; en appliquant le théorème de déduction (Th.D), on obtient que F1
est un théorème. C.Q.F.D

2) ⊢ F2 ; avec F2 = A  ((B  C)  (((B  C)  (A  B))  C))

1. A hyp.
2. (B  C) hyp.
3. (B  C)  (A  B) hyp.
4. A  B MP + 2. + 3.
5. B MP + 1. + 4.
6. C MP + 2. + 5.
On a donc : A, B  C, (B  C)  (A  B) ⊢ C ; en appliquant trois fois le Th.D, on obtient que F2 est
un théorème. CQFD

3) ⊢ F3 ; avec F3 = (B   B)  (A   (A  B))
1. A  (B  (A  B)) Théorème f), exo 12, série 2
2. B  (A  (A  B)) Permutation + 1.
3. (B   B)   B Théorème 1), exo 13, série 2
4. (B   B)  (A   (A  B)) Transitivité + 2. + 3.
CQFD
Ex. 3 :
1) Représentation des réactions chimiques par des formules du CP :
F1 = (MgO  H2)  (Mg  H2O)
F2 = (C  O2)  CO2
F3 = (CO2  H2O)  H2CO3

2) Montrer qu’à partir de certaines quantités de MgO, H2, O2 et C, on peut produire du H2CO3, revient
à montrer que la formule : F = (F1  F2  F3  MgO  H2  O2  C)  H2CO3 est une tautologie ;
ou de manière équivalente que F est une contradiction.
F ≡ F1  F2  F3  MgO  H2  O2  C  H2CO3
On écrit F sous forme clausale :
F1 ≡ MgO  H2  (Mg  H2O) ≡ (MgO  H2  Mg)  (MgO  H2  H2O)
F2 ≡ C  O2  CO2
F3 ≡ CO2  H2O  H2CO3

Par résolution, on obtient :

C1 = MgO  H2  Mg
C2 = MgO  H2  H2O
C3 = C  O2  CO2
C4 = CO2  H2O  H2CO3
C5 = MgO F
C6 = H2
C7 = O2
C8 = C
C9 = H2CO3

C10 = CO2  H2O Res(C4,C9)

C11 = CO2  MgO  H2 Res(C2,C10)
C12 = CO2  MgO Res(C6,C11)
C13 = CO2 Res(C5,C12)
C14 = C  O2 Res(C3,C13)
C15 = C Res(C7,C14)
C16 = □ Res(C8,C15)

Donc F ⊨ □, c'est-à-dire que F est une contradiction, d’où : F est une tautologie. CQFD

-------------------- Fin du corrigé du Rattrapage de Log-Mat – L2 informatique – 2016/2017 --------------------