Universit Mouloud MAMMERI de Tizi-Ouzou

Facult de gnie lectrique et informatique

Dpartement dinformatique

Anne universitaire : 2013/2014

2ime anne Licence Informatique
module : Logique Mathmatique

Srie dexercices n 1

EXERCICE 1 : 1) Soit p dsignant la proposition lenfant sait lire et q dsignant la proposition

lenfant sait crire .
Donner la traduction dans le langage courant des propositions suivantes :
(1) p q ; (2) p ( q) ; (3) (q p) ; (4) ( p) ( q) ; (5) ( p) ( q)
2) Mme question avec p la proposition lhomme est mortel et q dsignant la proposition
lhomme est ternel et les propositions :
(1) (p q) ; (2) ( p) ( q) ; (3) (p q) ; (4) p ( q) ; (5) (p ( q))
EXERCICE 2 : Soit p la proposition X estime Y et q la proposition Y estime X .
Ecrire sous forme symbolique les phrases suivantes :
1. X estime Y mais Y ne lui rend pas son estime ;
2. X et Y sestiment ;
3. X et Y se dtestent ;
4. Y est estim par X mais X est dtest par Y ;
5. X et Y ne se dtestent ni lun ni lautre.
EXERCICE 3 : Sachant que x, y sont vrais et z est faux, trouver les valeurs de vrit des propositions :
(1) (x (y z)) (y z) ;
(2) (y x) (x y) (z x).
EXERCICE 4 : Pour chacune des formules suivantes,
1) construire sa table de vrit ;
2) indiquer si cest une tautologie, une contradiction ou ni lune ni lautre :
(a) (p q) (p q) ; (b) (p (q r)) ((p q) (p r)) ;
(c) (p q) ( (p r) q r) ; (d) (x y z) x (((u x ) u) (y z)).
EXERCICE 5 : Soit une fonction logique f 4 variables logique, telle que f = 1 si et seulement si le
nombre de variables de f qui sont 1 est suprieur ou gal 2.
1) Etablir la table de vrit de f.
2) Donner la forme normale conjonctive de f et la forme normale disjonctive de f.

Logique Mathmatique srie n 1

Page 1 sur 4

2013/2014

EXERCICE 6 : Soient A et B deux variables propositionnelles dsignant respectivement il pleut

et il y a des nuages .
Donner, en Franais, cinq phrases diffrentes ayant le mme sens que la formule A B.
EXERCICE 7 : En associant les noncs lmentaires Paul est tudiant , Quentin est tudiant ,
Ren est tudiant aux propositions p, q, r, respectivement ; associer chacun des noncs suivants
la formule propositionnelle qui semble lui correspondre smantiquement :
(a) Paul et Quentin sont tudiants.
(b) Paul ou Quentin est tudiant.
(c) Exactement un seul parmi Paul et Quentin est tudiant.
(d) Ni Paul ni Ren ne sont tudiants.
(e) Au moins lun des trois nest pas tudiant.
(f) Un seul parmi les trois nest pas tudiant.
(g) Seulement deux, parmi les trois, sont tudiants.
(h) Si Paul est tudiant, Quentin lest.
(i) Si Paul est tudiant, Quentin lest ; sinon Quentin ne lest pas.
(j) Paul est tudiant condition que Ren le soit.
(k) Que Ren soit tudiant est une condition ncessaire pour que Paul le soit.
(l) Que Ren soit tudiant est une condition suffisante pour que Paul le soit.
(m) Que Ren soit tudiant est une condition ncessaire et suffisante pour que Paul le soit.
(n) Paul nest tudiant que si exactement lun des deux autres lest.
(o) Si Paul est tudiant alors au moins lun des deux autres ne lest pas.
EXERCICE 8 : Soient les variables propositionnelles p = il fait beau , q = jai du temps libre
et r = je me promne .
1) Reprsenter les noncs suivants en logique propositionnelle :
(a) je ne me promne que sil fait beau et jai du temps libre.
(b) Sil ne fait pas beau, je ne me promne pas.
(c) Soit je nai pas du temps libre, ou (exclusivement) alors je me promne.
(d) pour que je me promne il faut et il suffit quil fasse beau et que jaie du temps libre.
2) Trouver deux consquences logiques x y o x et y sont parmi les propositions (a)..(d).
EXERCICE 9 : Brown, Jones et Smith sont prvenus de fraude fiscale. Ils prtent serment de la manire
suivante : BROWN : Jones est coupable et Smith est innocent. (I)
JONES : Si Brown est coupable alors Smith aussi. (II)
SMITH : Je suis innocent mais au moins lun des deux autres est coupable. (III)
Soient B, J et S les noncs Brown est innocent , Jones est innocent et Smith est innocent .
1) Exprimer le tmoignage de chacun des suspects dans le symbolisme logique.
2) Calculer les valeurs de vrits des trois formules obtenues.
3) Les tmoignages des trois suspects sont-ils compatibles (simultanment satisfiables) ?
Logique Mathmatique srie n 1

Page 2 sur 4

2013/2014

4) Le tmoignage de lun des suspects sensuit il de celui dun autre suspect ? Desquels deux
tmoignages sagit-il ?
5) En supposant que tous sont innocents, lequel aurait commis un faux serment ?
EXERCICE 10 : On se trouve sur une le dont les habitants sont rpartis en deux catgories : les Purs
et les Pires. Les Purs disent toujours la vrit, tandis que les Pires mentent toujours.
On rencontre trois habitants de lle : Moe, Jon et Will. Moe dclare : Nous sommes Pires tous les
trois . Jon dclare : Il y a exactement un Pire parmi nous .
Que peut-on dduire de ces dclarations ?
EXERCICE 11 : Aprs avoir prpar un gteau pour ses quatre enfants, la Maman laisse le gteau
refroidir sur la table de la cuisine puis sen va faire une course. A son retour, elle saperoit que
le quart du gteau a t mang. Puisque personne dautre que les quatre enfants ntait la maison
ce jour l, la Maman demande chacun des ses enfants qui a mang le gteau. Les quatre suspects
disent ceci :
Chabane : Katia a mang le quart du gteau ;
Saliha : Je nai pas mang le quart du gteau ;
Katia : Djamal a mang le quart du gteau ;
Djamal : Katia a menti lorsquelle a dit que jai mang le quart du gteau.
Si seulement une de ces quatre propositions est vraie et seulement un des quatre enfants est coupable,
qui des quatre a effectivement mang le quart du gteau ?
EXERCICE 12 : Trois personnes, Ali (A), Belaid (B) et Chrif (C) exercent chacune une profession
diffrente : pharmacien, dentiste ou chirurgien.
Sachant que les implications suivantes sont vraies, retrouver leur profession :
( A chirurgien B dentiste ),
( A dentiste B pharmacien ),
( B non chirurgien C dentiste ).
EXERCICE 13 : Soit f une fonction logique trois variables, f : {0, 1}3 {0, 1} dfinie par :
f(t, t, t) = f(t, 1, 1) = 0
pour tout t {0, 1}.
f(t, t, t) = f(t, 0, 0) = 1
1) tablir la table de vrit de f.
2) Donner la forme normale disjonctive de f la plus simplifie possible et sa forme normale conjonctive
la plus rduite possible.
3) La fonction f est-elle unique ? Justifiez.

Logique Mathmatique srie n 1

Page 3 sur 4

2013/2014

EXERCICE 14 : On rappelle que dsigne une constante propositionnelle toujours fausse, et une
constante propositionnelle toujours vraie. On dsigne par If le connecteur ternaire Si alors sinon
dont voici la table de vrit :
X

If (X, A, B)

1. On appelle littraux les atomes X, A, B et leurs ngations.

Donner un quivalent de If(X, A, B) qui est :
a. une forme normale disjonctive, puis une forme normale
disjonctive nutilisant que deux conjonctions de deux
littraux chacune ;
b. une forme normale conjonctive, puis une forme normale
conjonctive nutilisant que deux disjonctions de deux
littraux chacune ;
c. une conjonction de deux implications entre littraux.

Chacun des quivalents doit tre justifi.

2. Donner pour chacune des formules , ( ), ( ), ( ), un quivalent utilisant une
seule occurrence de chacun des connecteurs If, , (justifier).
En dduire que { If, , } est un systme complet de connecteurs.
EXERCICE 15 : On dit quun ensemble de formules du calcul propositionnel est indpendant si
et seulement si, pour toute formule F E, F nest pas consquence logique de E { F }.
Les ensembles suivants sont-ils indpendants ?
E = { (A B), (B C), (C A) } ; G = { (A B), (B C), (A C) }.
EXERCICE 16 : On considre les formules de la logique des propositions :
A = ((p r) ( q s (s q))) ((p q) (r s))
B = (p s) (q r)
En utilisant les quivalences remarquables, montrez que A B.

----------------------------------Fin Srie 1---------------------------------

Logique Mathmatique srie n 1

Page 4 sur 4

2013/2014