COURS 1

INTRODUCTION ET NOTIONS

LOGIQUES DE BASE

Samuel Descarreaux
sdescarr@uottawa.ca
TABLE DES MATIÈRES
Déf. Énoncé​
Déf. Validité vs Adéquation
​Déf. Cohérence, Tautologie, Contradiction, Équivalence
Cas spéciaux​
 3

DÉF. ÉNONCÉ
Déf: phrase grammaticalement bien
construite, à l’indicatif et qui peut seulement
avoir une valeur de vérité vraie ou fausse
 4

EXPLICATIONS
ÉNONCÉS NON-ÉNONCÉS

• Washington est la capitale des États- • Pleut

Unis • Mange!
• Toronto est la capitale du Canada • La plus vieille maison de
• Il pleut Montréal
• Il pleut et il fait froid • Où est Blanc-Sablon?
 5

“
EXEMPLES
• Va-t’en, tu me tapes sur les nerfs.
• Je crois que Barbie est un meilleur film
qu’Oppenheimer
• George Washington est le second président des États-
Unis
• Rendez vos devoir à temps ou ne les rendez pas!
• S’il neige, alors il fait froid.
• Si John Kennedy n’avait pas été assassiné
• Cet énoncé est faux
• Qui a créé ces stupides exemples ? ”
 6

DÉF. VALIDITÉ
Un argument est valide (d’un point de vue
déductif) si et seulement s’il n’est pas
possible que les prémisses soient vrais et la
conclusion soit fausse. Un argument est
invalide (d’un point de vue déductif) s’il et
seulement s’il n’est pas déductivement valide.
 7

VALIDE
1. Il y a trois et seulement 2. Juarez est gaucher
trois personnes dans une pièce Sloan est gaucher
: Juarez, Sloan et Wang
Wan est gaucher
Juarez est gaucher
Sloan est gaucher Toutes les personnes dans
Wan est gaucher . cette salle sont gauchères

INVALIDE
Toutes les personnes dans
cette salle sont gauchères
VALIDE

VALIDE
3. La France et la Grande-Bretagne
étaient les principaux protagonistes
au courant des guerres
napoléoniennes.
La France avait la plus grande armée
sur terre
La Grande-Bretagne avait la plus
grande armée sur mer
La puissance de l’armée sur terre a
permis de remporter la guerre . Québec est la capitale du Manitoba
La France a remportée la guerre
VALIDE
8
4 Montréal est la capitale du Canada
La capitale du Canada est au Québec
Montréal est au Québec VALIDE
5. Toronto est la capitale de l’Ontario
Québec est la capitale du Québec
Winnipeg est la capitale du Manitoba
I DE
Régina est la capitale de l’Alberta VAL
IN
6. Toronto est la capitale du Québec
Winnipeg est la capitale de l’Alberta
Régina est la capitale de la Saskatchewan
L IDE
A
INV
 9

“
EXEMPLES
1. Tous les rectangles ont trois cotés 5. Pierre, m’avait dit : "Je passerai chez toi lundi après-
Un triangle rectangle est un rectangle midi. Si tu n’es pas là, je laisserai un mot dans la boîte
Donc un triangle rectangle a trois cotés aux lettres."
Or, j’ai été obligé de sortir lundi après-midi. En rentrant
2. Les livres bon marché sont rares chez moi, je constate qu’il n’y a pas de mot dans la boîte
Or ce qui est rare est cher aux lettres .
Par conséquent, les livres bon marché sont
chers Pierre n’est pas venu
3. La Belgique est contigüe à l’Allemagne
L’Allemagne est contigüe à la France
Donc la Belgique est contigüe à la France

4. Si les rues sont mouillées c’est qu’il a plu récemment

Les rues sont mouillées

”
Donc il a plu récemment
 10

DÉF. ADÉQUAT
Un argument est adéquat (d’un point de vue
déductif) si et seulement s’il est valide (d’un
point de vue déductif) et ses prémisses sont
vraies. Un argument est déductivement
inadéquat si et seulement si il n’est pas
adéquat.
 11

ADÉQUAT
En 2000, Bush et Gore étaient les
candidats des deux principaux
parties politiques aux ÉU
Le candidat d’un partie principale
aux ÉU a remporté les élections
Gore n’a pas remporté les
élections
Bush a remporté l’élection de 2020
ADÉQUAT
Il y a trois et seulement trois
personnes dans une pièce :
Juarez, Sloan et Wang
Juarez est gaucher
Sloan est gaucher
Wan est gaucher .
Toutes les personnes dans
cette salle sont gauchères
ADÉQUAT
 12

DÉF. COHÉRENCE LOGIQUE

Un argument est logiquement cohérent (ou
consistent) si et seulement s’il est possible
pour l’ensemble des énoncés d’être vrai. Un
argument est logiquement incoherent si et
seulement s’il n’est pas logiquement cohérent

COHÉRENCE
1. {Le Québec est plus grand que la
Nouvelle-Écosse. La théorie de l’éther a
été réfutée. Le système politique
canadien est une monarchie
constitutionnelle.}
COHÉRENT
2. {Le Québec est plus grand que la
Nouvelle-Écosse. La théorie de l’éther a
été validée. Le système politique
canadien est une monarchie
constitutionnelle.}
COHÉRENT
13
3. {Michael et Benjamin ont tous deux
appliqués pour un emploi au SASS. Au
moins l’un d’entre eux aura l’emploi.
Aucun des candidats qui ont appliqué n’a
eu l’emploi.}
INCOHÉRENT
4. {Ceux qui prennent l’astrologie au
sérieux sont intriguants. Alice est ma
soeur et aucune de mes soeurs n’a un
copain qui est intriguant. Horace est le
copain de Alice et il lit son horoscope
chaque matin. Ceux qui lisent leur
horoscope chaque matin prennent
l’astrologie au sérieux.}
INCOHÉRENT
 14

“
EXEMPLES
• {Il fait soleil, Demain est Samedi, deux plus deux égal quatre,
On a pratiquement plus d’essence.}
• {Brian Mulroney est un meilleur Premier ministre que
Steven Harper et Jean Chrétien, Jean Chrétien est un
meilleur Premier ministre que Justin Trudeau, Justin
Trudeau est le meilleur Premier ministre du Canada.}
• {La Californie produit du vin blanc et du vin rouge, La
Californie produit du vin blanc, mais pas de vin rouge, La
Californie produit du vin rouge, mais pas du vin blanc.}
 15

DÉF. TAUTOLOGIE
(LOGIQUEMENT VRAI)
Un argument est tautologique si et seulement
s’il n’est pas possible pour un énoncé d’être
faux
 16

TAUTOLOGIE
• Cynthia a un emploi ou Cynthia n’a pas d’emploi,

• Les licornes sont des créatures magnifiques ou les

licornes ne sont pas des creatures magnifiques.

• Si tous les étudiants passent l’examen, Weng passe

l’examen
R LE
N SU
T R I E
E D I
N E
N D
MO
 17

DÉF. CONTRADICTION
(LOGIQUEMENT FAUX)
Un argument est contradictoire si et
seulement s’il n’est pas possible pour
l’énoncé d’être vrai
 18

CONTRADICTION
• Il pleut et il ne pleut pas

• Tous les lions sont féroces, mais il y a des

lion dans un zoo qui ne sont pas féroces

• Je suis ici et il n’y a personne ici

 19

DÉF. LOGIQUEMENT
INDÉTERMINÉ
Un énoncé est logiquement indéterminé si et
seulement s’il n’est pas une tautologie ou une
contradiction
 20

INDÉTERMINÉS
La valeur de verité d’un énoncé indéterminé est
déterminée par l’information issue du monde
• La Banque du Canada n’a pas augmenté son
taux directeur
• Perkins milite en faveur d’une réduction des
standard d’émission de gaz à effet de serre
puisqu’il possède une compagnie de pétrole.
• Etc.
 21

“
EXEMPLES
• Sarah passe son barreau, mais elle n’a pas fait un
baccalauréat en droit. Indéterminé
• Hélène a un PhD, mais elle n’a pas fait de doctorat
contradiction
• Robin sera présente au début du cours ou elle sera en
retard Tautologie
• Si Sarah aime les poissons, elle aime les truites

”
tautologie
 22

DÉF. ÉQUIVALENCE
Des énoncés sont logiquement équivalents si
et seulement s’il n’est pas possible pour l’un
d’être vrai et l’autre faux
 23

ÉQUIVALENTS
ÉQUIVALENTS NON-ÉQUIVALENT

• Alcibiade aime Socrate. • Alcibiade aime Socrate.

Socrate est aimé par Alcibiade Socrate aime Alcibiade
• Judith Butler et Angela Davis • Paris est la capitale de la
sont des autrices féministes. France. Frankfort est la
Angela Davis et Judith Butler capitale de l’Allemagne
sont des autrices feminists. • L’étoile du matin est Vénus.
• Toutes les tumeurs ne sont pas L’étoile du matin est l’étoile
cancérigènes. Certaines du soir. (Frege)
tumeurs ne sont pas
cancérigènes
Presentation title 24

CAS PARTICULIER
 25
CONCLUSION TAUTOLOGIQUE PRÉMISSE(S) INCOHÉRENTES

La “Panda Game” a lieu Zayneb est plus

chaque année intelligente que ses frères
Carleton a gagné la “Panda Zayneb et Muhammed
Game” 2022 . sont frère et soeur
Le soleil se lèvera demain Muhamed est plus
ou le soleil ne se lèvera pas brilliant que toutes ses
demain soeurs .
Tyrannosaurus rex est le
plus craint de tous les
dinosaures
 26

“
EXEMPLES
Sandra aura un A dans le cours ou Sandra n’aura pas un
A dans le
cours .

Sandra graduera. it e
Ca s l i m
I S S ES S
PRÉM D I CTOI RE
N T R A
CO

”
 27

RÉSUMÉ
Déf. Énoncé​
Déf. Validité vs Adéquation
​Déf. Cohérence, Tautologie, Contradiction, Équivalence
Cas spéciaux​