MAT 1748 – Hiver 2021

Examen 1
Professeur: Antoine Poirier
Date limite: 8 février, 16h00

Les examens doivent être soumis via Brightspace en un seul fichier pdf. Ils peuvent être rédigés à l’ordinateur, ou écrits
à la main et ensuite numérisés. Si vous écrivez à la main, assurez-vous que l’écriture est lisible et que la numérisation
soit d’assez bonne qualité pour que le correcteur puisse lire.

Q UESTION 1 (4 pts). Voici la table de vérité de quatre propositions composées P1 , P2 , P3 et C, qui utilisent les variables
x, y et z.

x y z P1 P2 P3 C
V V V F F F F
V V F V V F V
V F V F F V F
V F F V V F F
F V V F V V F
F V F V V F V
F F V F V F V
F F F V V F F
Exactement quatre des énoncés suivants sont vrais. Lesquels? Vous n’avez pas à justifier vos réponses.
(a) L’ensemble {P1 , P2 } est cohérent.
(b) L’ensemble {P1 , P2 , P3 } est cohérent.
(c) L’argument (P1 ∧ P2 ) → C est valide.
(d) L’argument (P1 ∧ P2 ∧ P3 ) → C est valide.
(e) ¬z est une forme normale disjonctive pour P1 .
(f) (x ∧ ¬y ∧ z) ∨ (¬x ∧ y ∧ z) est une forme normale conjonctive pour P3 .
(g) (P1 ⊕ P2 ) ∧ (P3 ⊕C) est une contradiction.
(h) (P1 ⊕ P2 ) ∧ (P3 ⊕C) est une contingence.
(i) (P1 ⊕ P2 ) ∧ (P3 ⊕C) est une tautologie.

Q UESTION 2 (2 pts). Soient les variables propositionnelles suivantes:

a = "Marc maîtrise la matière du cours"
b = "Marc a A+ au cours"
c = "Marc manque l’examen final"
Considérons la proposition composée suivante:
P = "Une condition suffisante pour que Marc ait A+ au cours est qu’il maîtrise la matière du cours, ou Marc manque
l’examen final."
Laquelle des propositions suivantes est équivalente à P? Vous n’avez pas à justifier cette réponse.
(a) (a → b) ∨ c
(b) (b → a) ∨ c
(c) c → (a → b)
(d) c → (b → c)
(e) (a → b) ∧ c
(f) (b → a) ∧ c
2

Q UESTION 3 (2 pts). Laquelle des propositions suivantes est équivalente à (p ∨ ¬r) → (q ↔ r)? Vous n’avez pas à justifier
cette réponse.
(a) (p ∧ ¬r) ∨ (q ∧ r) ∨ (¬q ∧ ¬r)
(b) (¬p ∧ r) ∨ (¬q ∧ r) ∨ (q ∧ ¬r)
(c) (p ∧ r) ∨ (¬q ∧ ¬r) ∨ (q ∧ ¬r)
(d) (¬p ∧ r) ∨ (q ∧ r) ∨ (¬q ∧ ¬r)
(e) (¬p ∧ ¬r) ∨ (q ∧ r) ∨ (¬q ∧ r)
(f) (p ∧ ¬r) ∨ (q ∧ ¬r) ∨ (¬q ∧ ¬r)

Q UESTION 4 (4 pts). Utilisez un arbre de vérité pour déterminer si l’ensemble {p → (q ∧ r), q → (p ∧ ¬r), ¬(p ↔ q)} est
cohérent ou pas. Vous devez justifier votre réponse.

Q UESTION 5 (5 pts).
(a) Utilisez les lois de la logique dans le tableau à la dernière page de l’examen pour démontrer que (¬z → x)∧(¬z →
y) ≡ ¬(x ∧ y) → z. Vous devez justifier votre réponse
(b) Démontrez que (¬z → x) ∧ (¬z → y) ≡ ¬(x ∧ y) → z à l’aide d’une table de vérité. Vous devez justifier votre
réponse.

Q UESTION 6 (5 pts). Utilisez la méthode de votre choix pour déterminer si l’argument suivant est valide ou non. Vous
devez justifier votre réponse.
a→b
¬(b ↔ c)
∴ ¬a → c

Q UESTION 7 (5 pts). Utilisez un arbre de vérité pour déterminer si la proposition X suivante est une tautologie ou pas.
Vous devez justifier votre réponse.

X : [(P ↔ Q) ∧ (P → R)] → (Q ∨ R)

m
Q UESTION 8 (6 pts). Un nombre réel x est dit rationnel s’il existe deux nombres entiers m et n 6= 0 tels que x = n. Un
nombre réel qui n’est pas rationnel est dit irrationnel.

Soit a un nombre rationnel et b un nombre réel. Considérez l’énoncé suivant:

Si b est un nombre irrationnel, alors a + b est un nombre irrationnel.
(a) Écrivez, en français, la réciproque de l’énoncé.
(b) Écrivez, en français, la contraposée de l’énoncé.
(c) Donnez une preuve indirecte de l’énoncé.
 3

Équivalence Nom

1. P → Q ≡ ¬P ∨ Q Loi de l’implication

2. P ↔ Q ≡ (P ∧ Q) ∨ (¬P ∧ ¬Q) Lois du biconditionnel

3. P ↔ Q ≡ (P → Q) ∧ (Q → P)

4. P ∨ ¬P ≡ V Lois de la négation
5. P ∧ ¬P ≡ F

6. P∨F ≡ P Lois de l’identité

7. P ∧V ≡ P

8. P ∨V ≡ V Lois de domination
9. P∧F ≡ F

10. P∨P ≡ P Lois de l’idempotence

11. P∧P ≡ P

12. ¬¬P ≡ P Loi de la double négation

13. P∨Q ≡ Q∨P Commutativité

14. P∧Q ≡ Q∧P

15. (P ∨ Q) ∨ R ≡ P ∨ (Q ∨ R) Associativité
16. (P ∧ Q) ∧ R ≡ P ∧ (Q ∧ R)

17. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R) Distributivité
18. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)

19. ¬(P ∧ Q) ≡ ¬P ∨ ¬Q Lois de De Morgan

20. ¬(P ∨ Q) ≡ ¬P ∧ ¬Q

21. P ∨ (P ∧ Q) ≡ P Lois de l’absorption

22. P ∧ (P ∨ Q) ≡ P