Académique Documents
Professionnel Documents
Culture Documents
Solution 14.
((P ∧ ¬(Q → R)) → (P ∨ (Q ∧ R)))(iii,→) →
✟✟❍ ❍ ✟✟❍❍
✟✟ ❍❍
✟✟ ❍❍
✟ ❍
(P ∧ ¬(Q → R))(iii,∧)(P ∨ (Q ∧ R))(iii,∨) version
∧ ∨
❍ ✟❍ ✟❍ ✟ ❍❍
✟
✟✟ ❍❍ ✟ ❍ plus ✟ ❍
P(i) ¬(Q → R)(ii) P(i) (Q ∧ R)(iii,∧) P ¬ P ∧
légère :
✟❍
✟ ❍ ✟❍
✟ ❍
(Q → R)(iii,→) Q(i) R(i) → Q R
✟✟❍❍ ✟❍
✟ ❍
Q(i) R(i) Q R
Solution 15. Non corrigé
Solution 16.
(i) ϕ ψ (ϕ → ψ) (ψ → ϕ) ((ϕ → ψ) ∧ (ψ → ϕ)) (ϕ ↔ ψ)
0 0 1 1 1 1
0 1 1 0 0 0
1 0 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
1 1 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
0 1 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.
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).
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.
P Q Q→P ¬P ¬P ∧ Q ¬(¬P ∧ Q)
0 0 1 1 0 1
0 1 0 1 1 0
1 0 1 0 0 1
1 1 1 0 0 1
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.)