Université de Blida 2019/2020

Département d’Informatique

Matricule:
Nom et Prénom:
Section:
Groupe:
Examen de Logique Mathématique

Exercice 01 (4 pts.)

Soit les faits suivants :

• Si Hicham vient on joue aux cartes.
• Si Hicham et Khaled viennent, il y a des disputes.
• Si on ne joue pas aux cartes, il n’y a pas de dispute.
• Hicham ne vient pas
1) Représenter en calcul propositionnel les quatre faits.
2) Peut-on déduire de ces quatre faits qu’il n’y aura pas de dispute ?
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................

1/5
Exercice 02 (4 pts.)
1- Donner la forme normale conjonctive et la forme normale disjonctive de la formule suivante:
: (P  (Q  R))  (R ∨  P)
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
............................................................................................................................................................................

2- Montrer que l'ensemble {, , } forme un système complet.

.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
............................................................................................................................................................................

3- Démontrer que: si , ├  et ,  ├  alors  ├ 

.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
...................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
............................................................................................................................................................................

2/5
Exercice 03 (5 pts.)
1- Soit la formule :  y (P(x,y)  R(y,f(x)))  z P(y,z)  R(z,y)
a- Les termes suivants sont-ils libres ou liés pour x dans . t1= f(z); t2= g(x,y).
b- Les termes t1 et t2 sont-ils libres ou liés pour y dans .
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
2- Pour chacune des formules suivantes, donner une interprétation qui la satisfait.
F1:  x P(x, y)   x  P(x, y)
F2: P(x, y)  x R(x, y)
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
3- Pour chacune des formules suivantes, donner une interprétation qui ne la satisfait pas.
F3: x  y P(x, y)   y P(y, y)
F4:  x (P(x)  R(x))  (P(x)  x R(x))
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................

3/5
Exercice 04 (7 pts.)
1- Démonter sans utiliser les propriétés de consistances et de complétude
 ├ (  (  ))  (  (  ))
 ├ ((   )  (   )
 A, (B  (A  C)) ├ B  C
 ├ (( A  A)  A)
 ├ (A  B)  (( A B)  B)
 ├    (sans utiliser le théorème de déduction)
 ├    (  ) (sans utiliser le théorème de déduction)
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
4/5
Matricule:
Nom et Prénom:
Section:
Groupe:
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
...................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................
.............................................................................................................................................................................
.............................................................................................................................................................................
............................................................................................................................................................................

5/5