
EXERCICE 6 : Sachant que x, y sont vrais et z est faux, trouver les valeurs de vérité des propositions :
(1) (x (y z)) (y z) ; (2) (y → x) (x ↔ y) (z x). (3) (y ↔ x) (x ↔ y) (z → x).
EXERCICE 7 : Soient A et B deux variables propositionnelles désignant respectivement « il pleut »
et « il y a des nuages ». Donner, en Français, cinq phrases différentes ayant le même sens que la formule
EXERCICE 8 : Trois personnes, Ali (A), Belaid (B) et Chérif (C) exercent chacune une profession
différente : 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 9 : Montrer par réfutation que :
|
, |
|
p r q r r p q
, , |p q r p s s r
EXERCICE 10 : Modéliser les situations données ci-dessous avec la logique propositionnelle i.e., proposer
des propositions et des formules, construire des modèles des formules, et évaluer les requêtes :
a. Si la température et la pression sont constantes, alors il ne pleut pas. La température était constante.
Est-il vrai que s’il ne pleuvait pas, alors la pression était constante ?
b. Jean mange quand il a faim. Jean porte son t-shirt bleu quand il mange. En ce moment, Jean n’a
pas faim. Quelle est la couleur de son t-shirt ?
EXERCICE 11 :
Trois pirates (Anonymous, Breakforcing et CutSystem) informatiques biens connus sont soupçonnés d’avoir
piraté les serveurs d’une entreprise de la place. Ces trois pirates ont été attrapés par la police et ont faits les dépositions
suivantes :
Anonymous : " Breakforcing est coupable et CutSystem est innocent"
Breakforcing : "si Anonymous est coupable, CutSystem aussi"
CutSystem : "Je suis innocent mais au moins un des deux autres est coupable."
On sollicite votre expertise pour déterminer le responsable de cet acte. Pour cela répondre aux questions
suivantes :
1. Transcrire les trois déclarations dans le calcul propositionnel en posant comme valeurs des variables
propositionnelles a, b, c : {Anonymous est coupable (a), Breakforcing est coupable (b) et CutSystem est coupable
(c)}.
2. Construire la table de vérité des trois déclarations.
3. À l'aide de la table de vérité, répondre aux questions suivantes :
a. Si CutSystem a menti, que dire de la déclaration d’Anonymous et de celle de Breakforcing ?
b. En supposant que tous ont dit la vérité, qui est innocent, qui est coupable ?
c. En supposant que tous sont coupables, qui a menti ? qui a dit la vérité ?
d. En supposant que tout innocent dit la vérité et que tout coupable ment, qui est coupable ? qui est
innocent ?
e. Que répondre à la question : " En supposant que les innocents ont menti et que les coupables ont dit
la vérité, qui est innocent et qui est coupable ?
4. On suppose que la culpabilité d’Anonymous fut prouvé et lors de son jugement, le procureur dit : "s'il a piraté
ces serveurs, il avait forcément un complice". L'avocat d’Anonymous répond : "c'est complètement
faux !". Pourquoi est-ce la pire chose que pouvait dire l'avocat à propos de son client ?
Ce qui est dit sans preuve peut être nié sans preuve …alors soyez logique