Université Paris 8 Introduction à la logique 2016-2017

Licence Mathématiques Corrigé no 1 P. Guillot

Exercice 1.
1. (p ∧ q)
2. (¬p ∧ ¬q) 3. (p ∧ ¬q) 4. ¬(p ∧ ¬q)
5. q ∧ ¬(p ∧ q) 6. (¬p ∨ ¬q) 7. ¬(p ∧ q) 8. ¬(q ∨ p)
Exercice 2.
1. Marie aime Pierre, mais ce n’est pas réciproque.
2. Pierre et Marie ne s’aiment pas.
3. Pierre n’aime pas Marie ou Marie aime Pierre
4. Il est faux que Pierre aime Marie ou réciproquement.
5. Si Pierre n’aime pas Marie, alors Marie aime Pierre.
6. Il est faux que si Pierre aime Marie, alors Marie aime Pierre.
7. Pierre n’aime pas Marie ou Marie n’aime pas Pierre, mais Pierre et Marie ne s’aiment pas.
Exercice 3.
1. ¬p ∧ ¬q ∧ ¬r avec p :« le monde a un commencement », q :« le monde a une fin » et r :« le monde
a une cause ».
2. p ∧ q avec p :« 2 est un nombre premier » et q :« 2 est un nombre pair ».
3. (p ⇒ q) ∧ (¬p ⇒ ¬q) ou encore (p ⇔ q) avec p :« le mal peut être vaincu » et q :« il faut combattre
le mal ».
4. b ⇒ ¬p avec b :« il fait beau » et p :« je prendrai mon parapuie ».
5. t ⇒ r avec r : « On réussit », et t :« On travaille ».
6. r ⇒ t, avec les même notations.
7. p ⇒ m, avec p :« je mangerai des pommes » et m :« les pommes ne sont pas mures ».
Exercice 4.
1. ou exclusif 2. disjonction 3. disjonction 4. ou exclusif
5. disjonction 5. ou exclusif 7. ou exclusif

Exercice 5.
1. (p ⇒ q) avec p :« la loi est juste » et q :« la loi est respectée ».
2. (p ∧ ¬q) ⇒ r avec p :« la loi est rigoureuse », q :« la loi est injuste » et r :« les citoyens ont tort
de s’en prendre à la loi ».
3. q ⇒ p avec p :« la loi est juste » et q :« la loi est respectée ».
4. (p ∧ ¬q) ⇒ r avec p :« la loi est rigoureuse », q :« la loi est juste »et r :« la loi est respectée ».
5. ¬p ⇒ q avec p :« le téléphone ne passe pas » et q :« il faut envoyer un pigeon voyageur ».
Exercice 6.
1. p ⇒ q avec p :« tu es plus beau que moi » et q :« tu meurs ».
2. p ⇒ (q ∨r) avec p :« π est un nombre irrationnel », q :« le développement décimal de π est limité »
et r :« le développement décimal de π est périodique ».
3. q ⇒ p avec p :« 21 est divisible par 3 » et q :« 21 est divisible par 9 ».
4. ¬(q ⇒ p) avec p :« 9 est un nombre premier » et q :« 9 est un nombre impair ».
5. ¬(q ⇒ p) avec p :« le suspect est innocent » et q :« le suspect a un alibi ».
6. p ⇒ q avec p :« il faut tirer la poignée » et q :« il y a un danger ».
7. p ⇒ q avec les même significations qu’au 8.
8. p ⇒ q avec p :« c’est un ventre affamé » et q :« il n’a pas d’oreille ».
9. p ⇒ ¬q avec p :« Pierre vient à la soirée » et q :« il restera du vin ».
Exercice 7.

(p ∧ q) : (p ↑ q) ↑ (p ↑ q)

(p ∨ q) : (p ↑ p) ↑ (q
↑ q)
(p ⇒ q) : p ↑ (q ↑ q)
Exercice 8.
p q: p ∨ ¬q
pq: ¬(¬p ∨ q)
p⊕q: ¬(¬p ∨ q) ∨ ¬(p ∨ ¬q)
Exercice 9.
p q ¬p ¬q ¬(¬p ∧ ¬q)
v v f f v
v f f v v
f v v f v
f f v v f
C’est la même valeur que la formule p ∨ q
Exercice 10.
L’énoncé est faux si le suspect est condamné et qu’on arrête le vrai coupable. Il est faux également
si le comdamné n’est pas condamné alors qu’on n’a pas arrêté le vrai coupable. Cela correspond à
la formule q ⊕ p.