Logique L2, 2019-2020 DM

Logique
Devoir à rendre le 4 novembre 2019

- La date-limite de remise est impérative et non négociable.

- Je vous encourage à travailler en groupe mais vous devez rédiger individuellement.
- Le barème est donné à titre indicatif et pourra être légèrement modifié.
- Vous pouvez me contacter par mail si vous avez des questions (isabelle.drouet@sorbonne-
universite.fr).

1 Transcription (4 pts)
Transcrivez les énoncés suivants dans le langage de la logique propositionnelle. Vous n’oublierez
pas d’indiquer quelles lettres de proposition vous utilisez et surtout quels énoncés atomiques ces
lettres représentent.
1. Il est faux que si tu pars en vacances, tu vas à la montagne ou à la campagne mais pas les
deux.
2. Pour que 10 soit plus grand que 8, il faut mais il ne suffit pas qu’il soit plus grand 3.
3. Pour que le suspect soit déclaré coupable, il suffit que la police apporte des preuves, et
dans ce cas il sera sanctionné.
4. Si la loi est rigoureuse sans être injuste, les citoyens ont tort de s’en prendre à elle.

2 Evaluer des formules (2 pts)

Pour chacune des formules ci-dessous, dites si l’information dont on dispose suffit à déterminer
sa valeur de vérité. Si c’est le cas, quelle est cette valeur de vérité ?
Vous veillerez à justifier vos réponses.
1. [p → ((q → r) → s)] s est vraie
2. (p ∧ (p ∨ q)) q est vraie
3. (p ∧ (p ∨ q)) p est vraie
4. ¬[((p → q) → q) → q] p est fausse.

1/3
Logique L2, 2019-2020 DM

3 Tables de vérité (3 pts)

Donnez la table de vérité des formules suivantes :
1. ((p → q) → (¬p ∨ q))
2. ¬((p ∨ q) → ((q ∨ p) ∧ r))
3. ((p ∨ q) ↔ (q ∧ ¬p))

4 Tables de vérité ou de mensonge (3 pts)

Octavie, Isis et Coralie sont accusées d’avoir volé le chapeau-melon de James. Elles tiennent les
positions suivantes :
— Octavie : Isis est coupable, Coralie est innocente
— Isis : Si Octavie est innocente, Coralie est coupable
— Coralie : Je suis innocente, mais au moins l’une des deux autres est coupable.
1. Transcrivez ces déclarations dans le langage de la logique propositionnelle en utilisant
les seules lettres de proposition p, q et r, pour représenter, respectivement, “Octavie est
coupable”, “Isis est coupable” et “Coralie est coupable”.
2. Donnez la table de vérité des déclarations d’Octavie, d’Isis et de Coralie.
3. Supposez que toutes ont dit la vérité. Que pouvez-vous alors dire concernant l’innocence
et la culpabilité de chacune ?
4. Supposez maintenant que toutes sont coupables. Dans ce cas, qui a menti et qui a dit la
vérité ?

5 Relations entre types de formules (4 pts)

Pour chacune des affirmations suivantes, dites si elle est vraie. Vous justifierez votre réponse de
la façon suivante :
— si l’affirmation est vraie, vous en donnerez une démonstration ;
— si l’affirmation est fausse, vous donnerez un contre-exemple.
1. Si (φ ∧ ψ) est une antilogie, alors φ est une antilogie ou ψ est une antilogie.
2. Si φ et ψ ont toutes leurs conséquences logiques en commun, alors (φ ≡ ψ).
3. Si φ est une tautologie, alors (φ ∨ ψ) est une tautologie.
4. Toute formule de la forme ((φ → ψ) → φ ) est une formule neutre.

2/3
Logique L2, 2019-2020 DM

6 Disjonction exclusive (4 pts)

1. Soit l’argument suivant de la langue naturelle : “Pierre a vu Jean et Marie. Donc il a vu
Jean ou Marie”. Cet argument est-il correct si vous traduisez “ou” par une disjonction
inclusive ? exclusive ?
2. Montrez que la disjonction exclusive n’est pas idempotente. (Pour répondre à cette ques-
tion, il est commode d’introduire un nouveau symbole propositionnel, qui représente la
disjtonction exclusive. On choisit : “+”.)
3. Montrez qu’elle est associative.
4. Soit les traductions atomiques suivantes :
p : Pierre a vu Paul
q : Pierre a Quentin
r : Pierre a vu Roger.
Montrez que (p + q + r) n’est pas une traduction adéquate de l’énoncé “Pierre a vu soit
Paul, soit Quentin, soit Roger”.
5. Quelle serait une traduction adéquate de cet énoncé dans le langage de la logique propo-
sitionnelle ?

3/3