Dr.

Lejdel Brahim

Université Hamma Lekhder d’El-oued Module : Logique mathématique.

Faculté des sciences exactes
Département d’informatique Année : 2021/2022
2ième Année Informatique (S3)

Série d’exercices N° 01

Exercice 01 :

Pour chacun des trois ensembles de formules suivants, indiquez s’il est inconsistant. Dans le cas
contraire, donnez-en un modèle :

a) p  q, p  q, q
b) p  q, q  r , r  p
c) p  q, q  r , r  p, p  s, s

Exercice 02 :

Montrez, par la méthode des tables de vérité, que :

a) pq  pq
b) p  q  p  q
c) vrai  r  ( s  (t  s  r )
d) q  (r  s ), r  s  q

Exercice 03 :

Vérifiez, en utilisant les tables de vérité, la validité des raisonnements suivants :

a) pq  q p
b) ( p  c)  q  pq
c)  p   q ,  c  p  q  c
d) p  q, p  c, (q  c)  r
e) p  q  r  (p  q)  (p  r)

Exercice 04 :

a) Utiliser la méthode des tables de vérité pour savoir si les formules suivantes sont ou
non des tautologies:

 p  (q  r )  ( p  q)  ( p  r)
Dr. Lejdel Brahim

( p  q)  ( p  q)
Si la formule n’est pas une tautologie, donnerez une interprétation qui la rend fausse.
2. Utiliser la méthode des tables de vérité pour savoir si la formule

( p  q  r )  (p  r )

est une conséquence logique de l’ensemble :

  p  q, q  r , p  q  r , p  r 

Si la formule n’est pas une conséquence logique, donnez un modèle de  qui n’est pas modèle de la
formule.

Exercice 05:

On considère le raisonnement ci-dessous :

(1) S'il fait beau, je vais en mer

(2) Si la marée est basse, l'écluse est fermée
(3) Si l'écluse est fermée, je ne peux aller en mer
(4) La marée est basse et il fait un temps radieux

(C) Je ne vais pas en mer

a) Traduire ce raisonnement dans la logique des propositions.

b) En utilisant la méthode des tables de vérité, dire si ce raisonnement est valide.