TD N° 2 : Logique des propositions

Exercice 1

Soit E= (B C)  (A  ( B  C))

1/ Table de vérité de

AB AB (AB)  A (AB)  A

2/ Table de vérité de

A  (B  C) (AB)  C B  (A  C) (AB)  (A  C)

3/ Déterminer une formule logiquement équivalente à E écrite sans autres symboles de

connecteur que  et 

Exercice 2

1/ Montrer que A  (B  A) est une tautologie

2/ Montrer que G = ( A  B)  ((AB)  ( A  B)) est une tautologie (sans table de

vérité)

Exercice 3

Mettre sous forme normale conjonctive et disjonctive les formules suivantes :

A= ((¬ p ∨ q) ∨ r) → (r ∨ s)

B= p → ((¬ q ∨ r) → s)

C= (p ↔ q) ∧ (¬ (p → q) ∨ ¬ (q → p))

Exercice 4

Soit la formule A= (p  q)  (p  r)

1/ Déterminer la table de vérité de A

2/ A est –elle conséquence logique de

pq pr q r qp {q,r}

1
Exercice 5

Pierre, Jean et Marie s’apprêtent à chanter. Ils décident entre eux que

a/ Si Pierre ne chante pas alors Lean chantera

b/ Si Jean chante alors Pierre et Marie chanteront

c/ Si Marie chante alors Jean ou Pierre, l’un des deux au moins, ne chantera pas

1/ Formaliser en logique des propositions ces décisions

2/ Peut-on en conclure que Pierre chantera ? Justifier votre réponse

Exercice 6

Après avoir préparé un gâteau pour ses quatre enfants, la maman laisse le gâteau refroidir sur
la table de la cuisine puis s’en va faire une course. A son retour, elle s’aperçoit que le quart du
gâteau a été mangé. La maman demande à chacun de ses enfants qui a mangé le gâteau. Les
quatre « suspects » disent ceci :

Chabane : Katia a mangé le quart du gâteau

Saliha : Je n’ai pas mangé le quart du gâteau

Katia : Djamal a mangé le quart du gâteau

Djamal : Katia a menti lorsqu’elle a dit que j’ai mangé le quart du gâteau

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 gâteau.

Exercice 7

Traduisez le raisonnement suivant dans le langage du calcul propositionnel et évaluez-le

(table de vérité). S’agit-il d’un raisonnement valide ?
« Si Philonous est sceptique, alors il n’affirme pas quelque chose et il ne nie pas quelque
chose. S’il affirme quelque chose, alors il n’est pas sceptique. S’il nie quelque chose, alors il
n’est pas sceptique. Philonous affirme quelque chose. Philonous n’est donc pas sceptique. »