Exercices : Introduction à la Logique Propositionnelle
Exercice 1 : Explique ce qu'est une proposition en logique propositionnelle et donne trois
exemples de propositions.
Exercice 2 : Décris les connecteurs logiques "et" (∧), "ou" (∨), "non" (¬), et "implique" (→).
Donne un exemple d'expression logique utilisant chacun de ces connecteurs.
Exercice 3 : Construis la table de vérité pour l'expression (p∧q)∨¬r.
Exercice 4 : Détermine si les propositions p→q et ¬q → ¬p sont logiquement équivalentes en
construisant leurs tables de vérité.
Exercice 5 : Utilise les lois de De Morgan pour simplifier l'expression ¬(¬p ∨q)
Exercice 6 : Applique la loi de distributivité pour simplifier l'expression p∧(q∨r)
Exercice 7 : (traduit du livre)
Soit p, q et r les propositions suivantes :
• p : Vous avez la grippe.
• q : Vous manquez l'examen final.
• r : Vous réussissez le cours.
Exprimez chacune des propositions suivantes en phrases complètes en français :
a) p→q
b) ¬q↔r
c) q→¬r
d) p∨q∨r
e) (p→¬r)∨(q→¬r)
f) (p∧q)∨(¬q∧r)
Exercice 8 : (traduit du livre)
Soit p et q les propositions suivantes :
• p : Vous conduisez à plus de 65 miles par heure.
• q : Vous recevez une contravention pour excès de vitesse.
Écrivez ces propositions en utilisant p, q, et des connecteurs logiques :
a) Vous ne conduisez pas à plus de 65 miles par heure.
b) Vous conduisez à plus de 65 miles par heure, mais vous ne recevez pas de contravention pour
excès de vitesse.
c) Vous recevrez une contravention si vous conduisez à plus de 65 miles par heure.
d) Si vous ne conduisez pas à plus de 65 miles par heure, alors vous ne recevrez pas de
contravention pour excès de vitesse.
e) Conduire à plus de 65 miles par heure est suffisant pour recevoir une contravention pour excès
de vitesse.
f) Vous recevez une contravention pour excès de vitesse, mais vous ne conduisez pas à plus de 65
miles par heure.
g) Chaque fois que vous recevez une contravention pour excès de vitesse, vous conduisez à plus
de 65 miles par heure.
Exercice 9 : (traduit du livre)
Soit p, q, et r les propositions suivantes :
• p : Vous obtenez un A à l'examen final.
• q : Vous faites tous les exercices de ce livre.
• r : Vous obtenez un A dans ce cours.
Écrivez ces propositions en utilisant p, q, r, et des connecteurs logiques :
a) Vous obtenez un A dans ce cours, mais vous ne faites pas tous les exercices de ce livre.
b) Vous obtenez un A à l'examen final, vous faites tous les exercices de ce livre, et vous obtenez
un A dans ce cours.
c) Pour obtenir un A dans ce cours, il est nécessaire d'obtenir un A à l'examen final.
d) Vous obtenez un A à l'examen final, mais vous ne faites pas tous les exercices de ce livre ;
néanmoins, vous obtenez un A dans ce cours.
e) Obtenir un A à l'examen final et faire tous les exercices de ce livre est suffisant pour obtenir un
A dans ce cours.
f) Vous obtiendrez un A dans ce cours si et seulement si vous faites tous les exercices de ce livre
ou si vous obtenez un A à l'examen final.
Exercice 10 : (traduit du livre)
Soit p, q, et r les propositions suivantes :
• p : Des ours grizzlys ont été aperçus dans la région.
• q : La randonnée est sûre sur le sentier.
• r : Les baies sont mûres le long du sentier.
Écrivez ces propositions en utilisant p, q, r, et des connecteurs logiques :
a) Les baies sont mûres le long du sentier, mais des ours grizzlys n'ont pas été aperçus dans la
région.
b) Des ours grizzlys n'ont pas été aperçus dans la région et la randonnée sur le sentier est sûre,
mais les baies sont mûres le long du sentier.
c) Si les baies sont mûres le long du sentier, la randonnée est sûre si et seulement si des ours
grizzlys n'ont pas été aperçus dans la région.
d) Il n'est pas sûr de randonner sur le sentier, mais des ours grizzlys n'ont pas été aperçus dans la
région et les baies le long du sentier sont mûres.
e) Pour que la randonnée sur le sentier soit sûre, il est nécessaire mais non suffisant que les baies
ne soient pas mûres le long du sentier et que des ours grizzlys n'aient pas été aperçus dans la
région.
f) La randonnée n'est pas sûre sur le sentier chaque fois que des ours grizzlys ont été aperçus dans
la région et que les baies sont mûres le long du sentier.
Exercice 11 : (traduit du livre)
Déterminez si ces biconditionnels sont vrais ou faux :
a) 2+2 = 4 ↔ 1+1 = 2
b) 1+1 = 2 ↔ 2+3 = 4
c) 1+1 = 3 ↔ les singes peuvent voler
d) 0 > 1 ↔ 2 > 1
