Vous êtes sur la page 1sur 2

TDs de Logique IV - Déduction naturelle

Disjonction et Négation
Bi-Deugs 2000-2001

1. On considère les prémisses suivantes :

• Si Alice et Juliette viennent à Paris, Zoé viendra aussi.


• Si Juliette vient à Paris, Alice aussi.
• Juliette ou Zoé, l’une des deux au moins, viendra à Paris.

(a) Montrer que Zoé viendra à Paris.


(b) Est-ce que Juliette viendra à Paris?

2. On considère les prémisses :

• Si le meurtre a eu lieu la nuit et sans témoins, alors Pierre est l’assassin.


• Si le meurtre a eu lieu sans témoins alors il a eu lieu la nuit.
• Si le meurtre a eu lieu la nuit, alors il a eu lieu sans témoins.
• Le meurtre a eu lieu la nuit ou sans témoins.

Démontrer que sous ces hypothèses Pierre est l’assassin.

3. Montrer que (p ∨ q) → q et p → q sont logiquement équivalentes.

4. Démontrer les tautologies suivantes :

(a) ((p ∨ q) → r) → (p → r)
(b) ((p → r) ∧ (q → r)) → ((p ∨ q) → r)

5. Montrer que les discours suivants sont des raisonnements corrects :

(a) Si Pierre a menti, alors Jean est coupable. Or Jean n’est pas coupable. Donc Pierre
n’a pas menti.
(b) Si Pierre se présente alors Jean démissionne. Si Jean démissionne, alors Albert se
présente. Si Albert se présente, il sera élu. Si Albert est élu, Pierre n’est pas élu. Si
Pierre ne se présente pas, il n’est pas élu. Donc Pierre n’est pas élu.
(c) Si Horace aime Juliette, elle l’épousera. Si Horace n’aime pas Juliette, elle épousera
Guillaume. Or Juliette n’épousera pas Horace, donc elle épousera Guillaume.

6. Une fête est organisée et Pierre, Jean et Gilles sont invités. On suppose que :

• Si Pierre vient, alors Gilles et Jean viennent.


• Si Gilles ne vient pas, alors Pierre vient.
• Si Pierre ne vient pas , alors Jean vient.
BiDeugs 2000-2001 2

Déterminez, sous ces hypothèses, qui parmi les trois viendra certainement à la fête. En faire
la démonstration.

7. Perdican, Quasimodo et Roudoudou ont une amie nommée Mélusine à qui ils n’osent écrire
pour déclarer leur flamme. Ils conviennent entre eux que :

• Si Perdican ne lui écrit pas, alors Quasimodo et Roudoudou lui écriront.


• Si Quasimodo lui écrit, alors ni Perdican, ni Roudoudou ne lui écrira.

Sous ces hypothèses, déterminez qui écrit à Mélusine, et qui ne lui écrit pas. En faire la
démonstration.

8. Elisabeth, Marie et Pierre préparent leurs vacances. Ils arrivent à la conclusion que :

• Si Marie part en Italie, Pierre restera à Paris.


• Si Pierre ne reste pas à Paris, Elisabeth ne viendra pas à Paris.
• Si Marie ne part pas en Italie, Elisabeth viendra à Paris.

Montrer que de ces prémisses on peut inférer que Pierre restera à Paris.

9. Démontrer la tautologie : ((p → q) → p) → p.

10. Démontrer que p → q est conséquence de ¬p, puis que p est conséquence de ¬(p → q), et
enfin que p est conséquence de (p → q) → q et q → p.