Devoir 4

Question 1. (p ∧ (p ∨ q)) ⊃ p

1. ¬ ((p ∧ (p ∨ q)) ⊃ p)
R¬ ⊃ -1

2. p ∧ (p ∨ q)

3. ¬p
R ∧ -2

4. p

La seule branche de l’arbre représentant la négation de la formule de base se ferme. Il est donc
impossible que la formule soit fausse. Ainsi, cette formule est une tautologie.
Question 2. {(p ⊃ q) ⊃ ¬p; (r ≡ q) ∧ p; ¬(q ∧ ¬r) ∨ p}

a)

1. (p ⊃ q) ⊃ ¬p

2. (r ≡ q) ∧ p

3. ¬(q ∧ ¬r) ∨ p
R ∧ -2

4. (r ≡ q)

5. p
R ≡ -4

6. r ¬r

7. q ¬q

R V -3

8. ¬(q ∧ ¬r) p
R ¬ ∧ -3 R ⊃-1

9. ¬q ¬r ¬ (p ⊃ q) ¬p
R¬ ⊃-9
X X X
10. p

11. ¬q

b) Toutes les formules sont satisfaites si et seulement si

la valeur de vérité des énoncés sont : p, ¬q et ¬r.
Question 3.

L’univers est déterminé ou il ne l’est pas. Si l’univers est déterminé, je ne suis pas libre. Si je ne suis pas
libre ou si je suis fou, alors je ne suis pas responsable de mes actions. Je suis responsable de mes actions
et je ne suis pas fou. Donc, l’univers n’est pas déterminé.

Dictionnaire :

p : L’univers est déterminé;

q : Je suis libre;

r : Je suis fou;

s : Je suis responsable de mes actions.

a) Calcul propositionnel :

{p V ¬p; p ⊃ ¬ q; (¬ q V r) ⊃ ¬ s; (s ∧ ¬ r) ⊃ ¬p}
 b) Méthode des arbres:

1. p V ¬p

2. p⊃¬q

3. (¬ q V r) ⊃ ¬ s

4. ¬ ((s ∧ ¬ r) ⊃ ¬p)

R ¬ ⊃ -4

5. s∧¬r

6. ¬¬ p

R ¬ -6

7. p
R ∧ -5

8. s

9. ¬r
R ⊃ -3

10. ¬(¬ q V r) ¬s

R ¬ V -10 X

11. ¬¬ q

12. ¬r
R ¬ -11

13. q
R ⊃ -2

14. ¬p ¬q

X X

b) L’arbre ferme. Donc, l’argument est valide. En effet, si l’arbre se ferme en prenant les prémisses telles
qu’elles sont et en faisant la négation de la conclusion, nous pouvons conclure que l’argument est valide.