corrigé - Université Paris Diderot

Université Paris Diderot Logique et Langage 2015/2016 – 02 nov.
Solution 14.
((P∧ ¬(Q→R)) →(P∨(Q∧R)))(iii,→)
✟✟✟✟
✟
❍
❍
❍
❍
❍
(P∧ ¬(Q→R))(iii,∧)
✟✟
✟
❍
❍
❍
P(i) ¬(Q→R)(ii)
(Q→R)(iii,→)
✟
✟❍ ❍
Q(i) R(i)
(P∨(Q∧R))(iii,∨)
✟✟
✟❍
❍
❍
P(i) (Q∧R)(iii,∧)
✟
✟❍ ❍
Q(i) R(i)
version
plus
légère :
→
✟✟✟
✟
❍
❍
❍
❍
∧
✟
✟❍ ❍
P¬
→
✟
✟❍ ❍
Q R
∨
✟
✟❍ ❍
P∧
✟
✟❍ ❍
Q R
Solution 15. Non corrigé
Solution 16.
(i) ϕψ(ϕ→ψ) (ψ→ϕ) ((ϕ→ψ)∧(ψ→ϕ)) (ϕ↔ψ)
0 0 1 1 1 1
0 1 1 0 0 0
10 0 1 0 0
1 1 1 1 1 1
Les colonnes correspondant aux deux formules considérées sont identiques, ces formules sont
donc logiquement équivalentes.
(ii) ϕψ¬ϕ¬ψ(ϕ∧ψ) (¬ϕ∧ ¬ψ) ((ϕ∧ψ)∨(¬ϕ∧ ¬ψ)) (ϕ↔ψ)
0 0 1 1 0 1 1 1
0 1 1 0 0 0 0 0
1 0 0 1 0 0 0 0
11 0 0 1 0 1 1
Les colonnes correspondant aux deux formules considérées sont identiques, ces formules sont
donc logiquement équivalentes.
(iii) ϕψ¬ϕ¬ψ(ϕ∨ψ)¬(ϕ∨ψ) (¬ϕ∧ ¬ψ)
0 0 1 1 0 1 1
01 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0
Les colonnes correspondant aux deux formules considérées sont identiques, ces formules sont
donc logiquement équivalentes.
Solution 17. Proposez une transcription en logique propositionnelle des phrases suivantes. Précisez
dans chaque cas ce que vous faites correspondre à chaque lettre de proposition, et quelles inférences,
s’il y en a, échappent à la formalisation.
(6) a. Soit Jean a réussi l’épreuve, et il est en vacances, soit il a échoué.
Jean a réussi l’épreuve R
Jean a échoué à l’épreuve E
Jean est en vacances V
((R∧V)∨E)
b. Si Max et léa se connaissent, il faudra les inviter quand tu fêteras ton anniversaire.
Max et Léa se connaissent C
Tu fête(ra)s ton anniversaire A
Tu invite(ra)s Max et Léa I
(C→(A→I))) ou ((C∧A)→I)
c. Ni Max ni Paul n’ont réussi l’épreuve que Marie a préparée.
Max a réussi l’épreuve que Marie a préparé M
Paul a réussi l’épreuve que Marie a préparé P(¬M∧ ¬P)
d. Il ne suffit pas de mélanger les ingrédients pour réussir la recette.
On mélange les ingrédients M
On réussit la recette R¬(M→R)
e. Pour arriver place de la Concorde, il suffit de prendre le pont puis de tourner à droite.
On arrive place de la Concorde A
On prend le pont P
On tourne à droite D
((P∧D)→A)
On perd l’information qu’il faut prendre le pont et seulement ensuite tourner à droite.
Logique des propositions 4

Université Paris Diderot Logique et Langage 2015/2016 – 02 nov.
Solution 18. On note que ϕest vraie dans trois cas : quand p,q et r son faux, quand p
est faux, et q et r vrais, et quand les trois sont vrais. Une façon d’écrire cela est la formule
suivante (on a simplifié les parenthèses).
((¬p∧ ¬q∧ ¬r)∨(¬p∧q∧r)∨(p∧q∧r)
Solution 19.
Montrez, en représentant chaque phrase en logique propositionnelle, et en utilisant une table de vérité,
a. que (3a) implique logiquement (3b), et
b. que (4a) et (4b) sont équivalentes.
(1) a. Pierre et Marie sont venus, alors que Paul non.
b. Il est faux que Paul est venu.
(2) a. Pour que l’entreprise redémarre, il faut changer son PDG.
b. Il n’est pas vrai que l’entreprise ne redémarre pas ni que son PDG a changé.
Choix le plus simple : inutile de décomposer la première proposition.
P: Pierre et Marie sont venus
Q: Paul est venu
(1a) : P∧ ¬Q
(1b) : ¬Q
PQ¬Q P ∧ ¬Q P ∧ ¬Q→ ¬Q
0 0 1 0 1
01 0 0 1
10 1 1 1
11 0 0 1
Avec une décomposition plus détaillée :
P: Pierre est venu
Q: Marie est venue
R: Paul est venu
(1a) : P∧Q∧ ¬R
(1a) : ¬R
PQ R ¬R P ∧Q∧ ¬R P ∧Q∧ ¬R→ ¬R
0 0 0 1 0 1
00 1 0 0 1
01 0 1 0 1
01 1 0 0 1
10 0 1 0 1
10 1 0 0 1
11 0 1 1 1
11 1 0 0 1
Dans les deux cas, la colonne (1a) →(1b) est une tautologie : CQFD.
Pl’entreprise redémarre (2a) Q→P
QLe PDG change (2b) ¬(¬P∧Q)
PQ Q →P¬P¬P∧Q¬(¬P∧Q)
0 0 1 1 0 1
01 0 1 1 0
10 1 0 0 1
11 1 0 0 1
Les colonnes correspondant à (2a) et (2b) sont identiques : CQFD.
Logique des propositions 5

Université Paris Diderot Logique et Langage 2015/2016 – 02 nov.
Solution 20.
Soit le raisonnement suivant :
(3) Jean vient soit en voiture, soit en train. Il n’arrive en retard que quand il prend sa voiture.
Aujourd’hui, il est arrivé à l’heure. C’est donc qu’il a pris le train.
Donnez une représentation de ce raisonnement en logique des propositions. En vous appuyant sur une
table de vérité, dites si ce raisonnement est valide ou non.
On peut représenter ce raisonnement comme un syllogisme, où le mot donc sert à séparer les
prémisses de la conclusion, ce qui donne, avec la « légende » suivante :
Jean vient en voiture V
Jean vient en train T
Jean arrive en retard R
Jean arrive à l’heure ¬R
(On simplifie un peu en considérant que « Jean arrive en retard » et « Jean arrive à l’heure »
forment une paire de propositions contradictoires.)
Jean vient soit en voiture, soit en train. (V∨T)
Il n’arrive en retard que quand il prend sa voiture. (R→V)
Aujourd’hui, il est arrivé à l’heure. ¬R
C’est donc qu’il a pris le train. T
ϕ ψ ξ prémisses : πconcl.
V T R (V∨T) (R→V)¬R
z}| {
(ϕ∧ψ∧ξ)T(π→J)
0 0 0 0 1 1 0 0 1
0 0 1 0 0 0 0 0 1
0 1 0 1 1 1 1 1 1
0 1 1 1 0 0 0 1 1
1 0 0 1 1 1 1 0 0
1 0 1 1 1 0 0 0 1
1 1 0 1 1 1 1 1 1
1 1 1 1 1 0 0 1 1
Lecture de la table de vérité. L’un ou l’autre des commentaires suivants est suffisant pour
justifier la réponse.
•Dans toutes les situations où les prémisses sont vraies (en jaune dans la table), on
cherche à vérifier si la conclusion est vraie. Il y a une situation où ce n’est pas le cas
(en rouge), pas conséquent le syllogisme n’est pas valide.
Une autre façon de conclure est de constater :
•La formule (α→ω)(où αreprésente les prémisses et ωla conclusion) n’est pas une
tautologie. Par conséquent le syllogisme n’est pas valide.
Logique des propositions 6