REPUBLIQUE TUNISIENNE

Ministère de l'Enseignement Supérieur et de la Recherche Scientifique

Université de Carthage
Institut National des Sciences Appliquées et de Technologie

Logique Informatique
TD2
RT3 Olfa MOSBAHI (olfamosbahi@gmail.com)

Exercice n° 1 :
F1 : (x)(y ) Egal ( y, succ( x))  (z ) Egal ( z , succ( x)) → Egal ( y, z )
F2 : ((x) Egal (0, succ( x))) = (x)Egal (0, succ( x))
F3 : (x) Inf ( x, succ( x))

Exercice n° 2 :
D= a, b
P(x) : x est une lettre alphabétique majuscule.
1) x( P( x) → xP( x))
x F → F
D’où la formule x( P( x) → xP( x)) est évaluée à Vrai
2) x(P( x) → yP( y ))
x V → F
D’où la formule x(P( x) → yP( y )) est évaluée à Faux
Soit l’interprétation : D= A, b
P(x) : x est une lettre alphabétique majuscule.
La formule 1) est évaluée à Faux dans cette interprétation.

Exercice n° 3 :
1) (x )P(x ) → (x )Q(x ) = ((x) P( x))  (x)Q( x)
= (x)P( x)  (x)Q( x)
= (x)(P( x)  Q( x))

2) (x)(y )((z )( P( x, z )  P( y, z )) → (u )Q( x, y, u )) =

(x)(y )((z )( P( x, z )  P( y, z )))  (u )Q( x, y, u ) =
(x)(y )(z )( P( x, z )  P( y, z ))  (u )Q( x, y, u ) =
(x)(y )(z )(P( x, z )  P( y, z ))  (u )Q( x, y, u ) =
(x)(y )(z )(u )(P( x, z )  P( y, z )  Q( x, y, u ))

3) ((xP( x)  xQ( x)) → xR( x)) = (xP( x)  xQ( x))  xR( x)

= (xP( x)  xQ( x))  xR( x)
= (xP( x)  zQ( z ))  xR( x)
= ((x)(z )(P( x)  Q( z )))  xR( x)
= ((x)(z )(P( x)  Q( z )))  yR( y )
= (x)(z )(y )(P( x)  Q( z ))  R( y )

4) (x)( P( x) → ((y )Q( x, y )  (y ) R( x, y, z ))) =

(x)(P( x)  ((y )Q( x, y )  (y ) R( x, y, z ))) =
(x)(P( x)  (y )Q( x, y )  R( x, y, z )) =

1
 REPUBLIQUE TUNISIENNE
Ministère de l'Enseignement Supérieur et de la Recherche Scientifique
Université de Carthage
Institut National des Sciences Appliquées et de Technologie

(x)((y )P( x)  Q( x, y )  R( x, y, z )) =
(x)(y )(P( x)  Q( x, y )  R( x, y, z ))

Exercice n°4 :
F1 : (x) Etudiant ( x) → BienÂgé( x)
F2 : BienÂgé(S lim)
F3 : Etudiant (S lim)
Montrons que F1, F2 ╞ F3
On pose Etudiant ( x) = P( x) et BienÂgé( x) = Q( x)
On aura alors :
F1 : (x) P( x) → Q( x)
F2 : Q(S lim)
F3 : P(S lim)
Montrons que  I / I (F1  F2) = T  I (F3) = T
Preuve par l’Absurde :
On suppose qu’il existe une interprétation I telle que I (F1) = T, I (F2) = T et I (F3) = F

I (F1) = T  I (xP( x) → Q( x)) = T

 I ( P( S lim) → Q( S lim)) = T
 I (P( S lim)  Q( S lim)) = T (*)

Or nous avons I (F2) = T  I ( Q(S lim) ) = T  I ( Q(S lim) ) = F

(*)  I (P( S lim)  Q( S lim)) = T
 I (P( S lim))  Faux = T
 I (P( S lim)) = T
 I (F3) = T : Absurde car nous avons supposé que I (F3) = F
Conclusion : F1, F2 ╞ F3

Exercice n°5 :
F1 : (x) A( x) → B( x)
F2 : (x) B( x)  C ( x)
F3 : (x)C ( x)  A( x)
Montrons que F1, F2 ╞ F3
I(F1) = T et I(F2) = T  I(F3) = T ?
• I(F2) = T en particulier x = k
I ( B(k )  C (k )) = T  I(B(k)) = T et I(C(k)) = T
• I(F1) = T  I(A(k) → B(k)) = T
 I(A(k)  B(k)) = T
Or I(B(k)) = T  I(B(k)) = F
 I(A(k)) = T  I(A(k)) = F
Donc I(C(k)  A(k)) = I(C(k)  I(A(k))
=TT=T
Conclusion : F1, F2 ╞ F3