Ch1 Log Eco Ges

Eléments de Logique
D. KARIM
École Nationale de Commerce et de Gestion - Casablanca

Université Hassan II - Casablanca
2018 - 2019
ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 1 / 36

Sommaire
1 Eléments de Logique
2 Opérateurs logiques
3 Quantificateurs
Le quantificateur ∀ : «pour tout»
Le quantificateur ∃ : «il existe»
La négation des quantificateurs

Logique Mathématique

Le langage courant comporte plusieurs ambiguïtés

Définition
1 Un énoncé est une suite de mots (du langage ordinaire) ayant un
sens précis (le même pour tout le monde).
2 Une proposition (ou assertion) est un énoncé (mathématique) soit
vrai, soit faux, pas les deux en même temps.

Exemples
1 Rabat est la capitale du Maroc
2 Casablanca est en France
3 Il fait chaud (est un énoncé mais ce n’est pas une proposition)
4 Capitale la casablanca est (n’est pas un énoncé)

Tables de vérité
1 Pour simplifier la manipulation des propositions on utilisera les

tables de vérité dont le principe est simple.
2 On donnera la valeur V (ou 1) pour dire qu’une proposition est
vraie et F (ou 0) pour dire qu’elle est fausse.

Connecteurs logiques
1 Un connecteur (opérateur) logique binaire permet de relier deux

propositions pour en former une nouvelle.
2 Dans notre cours on s’intéressera à quatres d’entre eux ; la
conjonction, la disjonction, l’implication et l’équivalence.

Opérateurs logiques
L’opérateur logique et La conjonction
Définition
On définit une nouvelle proposition P et Q que l’on note P ∧ Q. La
proposition P ∧ Q est vraie si P est vraie et Q est vraie.
On résume ceci en une table de vérité :
P\Q V F
V V F
F F F
F IGURE – Table de vérité de P et Q

Exemples
1 « Soient P la proposition 7 est un nombre inférieur à 12 et Q la

proposition 7 est pair. D’après la table de vérité de l’opérateur
binaire « ET », on en déduit que la proposition P et Q est fausse.
2 « (4 + 5 = 9)∧ (Casablanca est en Tunisie) » est fausse car
« 4 + 5 = 9 » est vraie et « Casablanca est en Tunisie » est fausse.

L’opérateur logique ou La disjonction
Définition
La proposition P ou Q que l’on note P ∨ Q est vraie si l’une des deux
propositions P ou Q est vraie.
On reprend ceci dans la table de vérité :
P\Q V F
V V V
F V F
F IGURE – Table de vérité de P ou Q

1 On considère une proposition R, « 7 est un nombre inférieur à 12

OU 7 est pair »
Soit P « 7 est un nombre inférieur à 12 » ; P est vraie. Soit Q « 7
est pair », Q est fausse.
2 fromage ou dessert ;
3 s’il pleut ou s’il fait du vent, je ne sors pas ;
4 mange ta soupe ou tu seras puni(e).

L’opérateur non La négation

À partir d’une proposition P, nous pouvons construire une formule
propositionnelle, appelée
¬P
Ceci est résumé dans le tableau suivant :
P V F
non P F V
F IGURE – Table de vérité de non P

exemples
• avec P =« 2 + 2 = 4 » :
« ¬(2 + 2 = 4) » est fausse, car « 2 + 2 = 4 » est vraie. Cette
proposition peut-également s’écrire 2 + 3 6= 5.
• avec P =« 1 − 0 = 5 » :
« ¬(1 − 0 = 5) » (ou encore « 1 − 0 6= 5 » ) est vraie, car « 1 − 0 = 5 »
est fausse.
• avec P = « Rabat est la capitale du Maroc » :
« ¬ (Rabat est la capitale du Maroc) » (soit « Rabat est la capitale
du Maroc » ) car fausse car P est vraie.

Associativité, commutativité et distributivité
Équivalence
Deux propositions sont équivalentes si elles ont la même table de
vérité.
Voici quelques résultats importants concernat les opérateurs et et ou.
Associativité et Commutativité
• (p ∨ q) ∨ r et q ∨ (p ∨ r ) sont équivalentes.
• (p ∧ q) ∧ r et q ∧ (p ∧ r ) sont équivalentes.
• p ∨ q et q ∨ p sont équivalentes.
• p ∧ q et q ∧ p sont équivalentes.

Distributivité
• r ∨ (p ∧ q) et ((r ∨ p) ∧ (r ∨ q)) sont équivalentes.
• r ∧ (p ∨ q) et ((r ∧ p) ∨ (r ∧ q)) sont équivalentes.
Double négation
p et ¬(¬p) sont équivalentes.

Lois de Morgan
• ¬(p ∧ q) et (¬p ∨ ¬q) sont équivalentes.
• ¬(p ∨ q) et (¬p ∧ ¬q) sont équivalentes.

L’implication logique ⇒
L’implication joue un rôle fondamental dans la formalisation du

raisonnement mathématiqe.
Définition
Soient P et Q deux propositions, nous pouvons construire une
proposition noté de la façon suivante : P ⇒ Q.
et définie par la table de vérité suivante :
P\Q V F
V V F
F V V
F IGURE – Table de vérité de P =⇒ Q

La définition mathématique est la suivante :

La proposition (non P) ou Q est notée P ⇒ Q.
Notations
P est appelée hypothèses, et Q conclusion. Lorsque P implique Q
est vraie, on peut dire
• P implique Q ;
• si P, alors Q ;
• pour Q, il suffit P ;
• pour P, il faut Q ;
• P est une condition suffisante pour Q ;
• Q est une condition nécessaire pour P.

Exemples
1 Il fait beau ⇒ je suis heureux. Cette proposition est vraie si je suis

toujours heureux quand il fait beau. A ne pas confondre avec la
relation d’équivalence qui elle implique que je ne sois heureux QUE
lorsqu’il fait beau.
2 Il pleut ⇒ Le sol est mouillé. Cette proposition est vraie s’il suffit
qu’il pleuve pour que le sol soit mouillé. Mais attention si le sol est
mouillé il ne pleut pas forcément (une personne peut avoir vidé un
sceau d’eau sur le sol).
3 x ∈] − ∞, −4[ ⇒ x 2 + 3x − 4 > 0 est vraie (étudier le binôme).
4 x ∈ N ⇒ x ∈ Z est vraie.
√
5 2 + 2 = 5 ⇒ 2 = 2 est vraie ! Eh oui, si P est fausse alors
l’assertion P ⇒ Q est toujours vraie.

Exemples
√
1 1 + 1 = 2 ⇒ 2 est irrationnel. Cet exemple peut sembler plus
étrange, car on se demande quel est le rapport entre les deux
propositions. Mais il n’est en fait pas nécessaire qu’il existe un
rapport ou une causalité, puisque qu’il suffit qu’P et Q soient deux
propositions vraies (ou deux propositions fausses) pour que
l’implication P ⇒ Q le soit également.
2 montrons alors que l’ensemble vide ∅ est inclus dans tout
ensemble A. Dire que ∅ ⊂ A équivaut à dire que quel que soit x ∈ ∅,
x ∈ A, or quel que soit x, par définition de ∅, x ∈ / ∅, donc la
première proposition x ∈ ∅ est fausse, et en appliquant le résultat
sur les implications logiques justifié ci-dessus, le résultat - et ce
quel qu’il soit - est toujours vrai, i.e., : x ∈ A. D’où : ∅ ⊂ A.

Implication réciproque
Encore une petite quelque chose, P et Q sont toujours deux

propositions.
La proposition Q ⇒ P est appelée l’implication réciproque de la
proposition P ⇒ Q.
Signification
Q ⇒ P est équivalente à ¬Q ∨ P.
on considère la phrase "s’il pleut alors je ne sors pas" que l’on peut
schématiser sous la forme :
(
P il pleut
P ⇒ Q avec
Q je ne sors pas.
Sa négation est P et nonQ c’est-à-dire : il pleut et je sors.

L’équivalence
Soient P et Q deux propositions, nous pouvons construire une proposition noté

de la façon suivante : P ⇔ Q
Définition
L’équivalence est définie par : P ⇐⇒ Q est la proposition (P ⇒ Q) et
(Q ⇒ P)
La table de vérité est :
P\Q V F
V V F
F F V
F IGURE – Table de vérité de P ⇐⇒ Q

L’équivalence
Soient P et Q deux propositions. On dit alors qu’elles sont équivalentes, ou

encore que :
• P si, et seulement si Q ;
• pour P, il faut et il suffit Q ;
• P est une condition nécessaire et suffisante pour Q.
Exemples
• Le théorème de Pythagore : si ABC est un rectangle de côtés a, b, c où a
est le côté opposé à A, ABC est rectangle en A si, et seulement si
a2 = b 2 + c 2 .
• Pour x, x 0 ∈ R, l’équivalence x · x 0 = 0 ⇐⇒ (x = 0 ou x 0 = 0) est vraie.

Attention
Ne pas confondre
1 la négation de P ⇒ Q qui s’écrit encore P et (nonQ) ;
2 la contraposée de P ⇒ Q qui est (nonQ) ⇒ (nonP) ;
3 l’implication réciproque de P ⇒ Q qui est Q ⇒ P .

Quantificateurs Le quantificateur ∀ : «pour tout»
Le quantificateur ∀
Soit E un ensemble et P(x) une proposition dépendant d’un paramètre

x ∈ E. La proposition P(x) est vraie ou fausse selon la valeur de x.
Définitions
La proposition ∀x ∈ E P(x) est une proposition vraie lorsque les
propositions P(x) sont vraies pour tous les éléments x de l’ensemble E.
le symbole ∀ est appelé quantificateur universel.

Quantificateurs Le quantificateur ∀ : «pour tout»
Exemples
• On nomme A l’ensemble des étudiants d’une classe. On note

P(x) :={ x est présent } (x est un étudiant de la classe) La
proposition Q :={ Tous les étudiants de la classe sont présents}
s’écrit alors ∀x ∈ A, P(x)
• Le carré d’un nombre réel est toujours positif, s’écrit alors
∀x ∈ R, x 2 ≥ 0 est une proposition vraie.
• ∀x ∈ R (x 2 ≥ 1) est une assertion fausse.
• ∀n ∈ N n(n + 1) est divisible par 2 est vraie.

Quantificateurs Le quantificateur ∃ : «il existe»
Le quantificateur ∃
Soit la proposition Q :={ Tous les étudiants de la classe sont présents}.

Essayez de déterminer (nonQ) (dans une phrase française).
En effet, il suffit qu’un seul élève soit absent pour que la proposition Q
soit fausse.
Définition
La proposition ∃x ∈ E P(x) est une proposition vraie lorsque l’on peut
trouver au moins un x de E pour lequel P(x) est vraie. On lit il existe x
appartenant à E tel que P(x) (soit vraie).
le symbole ∃ est appelé quantificateur existentiel.

Exemples
• ∃x ∈ R x 2 = 1 est vraie (La proposition se lit « Il existe au moins

un nombre réel x dont le carré est égal à 1 »).
• ∃n ∈ N en > n est vraie (il y a plein de choix, par exemple n = 2
convient, mais aussi n = 4 ou même n = 100, un seul suffit pour
dire que la proposition est vraie).
• ∃x ∈ R (x 2 = −1) est fausse (aucun réel au carré ne donnera un
nombre négatif).

Méthode
Clarifier
1 Pour démontrer une assertion du type "∀x ∈ E A(x)" on
commence la plupart du temps par fixer un objet quelconque x0 de
E avec lequel on va travailler pour démontrer que l’assertion A(x0 )
est vraie.
2 Il est important pour l’instant de bien distinguer la lettre (variable)
d’un objet (fixé pour le temps de la démonstration) ; la notation x0
permet d’une part de garder le lien avec le nom de la variable (il est
utile d’avoir une certaine logique dans les notations que l’on utilise)
et d’autre part de mettre en évidence que l’on travaille avec un
objet fixé.
3 Pour démontrer une assertion du type "∃x ∈ E A(x)" la première
méthode à laquelle penser est donc de construire un objet x0 de E
tel que A(x0 ) soit vraie.

Quantificateurs La négation des quantificateurs
Négation
1 La négation de ∀x ∈ E P(x) est ∃x ∈ E non P(x).
2 La négation de ∃x ∈ E P(x) est ∀x ∈ E non P(x).

Exemples
A ne pas oubier
1 La négation de ∀x ∈ [1, +∞[ (x 2 ≥ 1) est l’assertion
∃x ∈ [1, +∞[ (x 2 < 1). En effet la négation de x 2 ≥ 1 est
non(x 2 ≥ 1) mais s’écrit plus simplement x 2 < 1.
2 La négation de ∃z ∈ C (z 2 + z + 1 = 0) est ∀z ∈ C (z 2 + z + 1 6= 0).
3 La négation de ∀x ∈ R (x + 1 ∈ Z) est ∃x ∈ R (x + 1 ∈
/ Z).
4 Ce n’est pas plus difficile d’écrire la négation de phrases
complexes. Pour l’assertion :
∀x ∈ R ∃y > 0 (x + y > 10)
sa négation est
∃x ∈ R ∀y > 0 (x + y ≤ 10).

Remarques
L’ordre des quantificateurs est très important.

Par exemple les deux phrases logiques
∀x ∈ R ∃y ∈ R (x + y > 0) et ∃y ∈ R ∀x ∈ R (x + y > 0).
sont différentes. La première est vraie, la seconde est fausse. En effet

une phrase logique se lit de gauche à droite, ainsi la première phrase
affirme Pour tout réel x, il existe un réel y (qui peut donc dépendre de x)
tel que x + y > 0. (par exemple on peut prendre y = x + 1). C’est donc
une phrase vraie. Par contre la deuxième se lit : Il existe un réel y , tel
que pour tout réel x, x + y > 0. Cette phrase est fausse, cela ne peut
pas être le même y qui convient pour tous les x !

Remarques
Remarque 1
On retrouve la même différence dans les phrases en française
suivantes. Voici une phrase vraie Pour toute personne, il existe un
numéro de téléphone, bien sûr le numéro dépend de la personne. Par
contre cette phrase est fausse : Il existe un numéro, pour toutes les
personnes. Ce serait le même numéro pour tout le monde !

Remarques
Terminons avec d’autres remarques.
• Quand on écrit ∃x ∈ R (f (x) = 0) cela signifie juste qu’il existe un

réel pour lequel f s’annule. Rien ne dit que ce x est unique. Dans
un premier temps vous pouvez lire la phrase ainsi : il existe au
moins un réel x tel que f (x) = 0. Afin de préciser que f s’annule en
une unique valeur, on rajoute un point d’exclamation :
∃! x ∈ R (f (x) = 0).
• Pour la négation d’une phrase logique, il n’est pas nécessaire de

savoir si la phrase est fausse ou vraie. Le procédé est
algorithmique : on change le pour tout en il existe et inversement,
puis on prend la négation de l’assertion P.

Remarques
Terminons avec d’autres remarques.
• Pour la négation d’une proposition, il faut être précis : la négation

de l’inégalité stricte < est l’inégalité large ≥, et inversement.
• Les quantificateurs ne sont pas des abréviations. Soit vous écrivez
une phrase en française : Pour tout réel x, si f (x) = 1 alors x ≥ 0. ,
soit vous écrivez la phrase logique :
∀x ∈ R (f (x) = 1 =⇒ x ≥ 0).
Mais surtout n’écrivez pas ∀x réel, si f (x) = 1 =⇒ x positif ou nul.

Enfin, pour passer d’une ligne à l’autre d’un raisonnement, préférez
plutôt donc à =⇒ .
• Il est défendu d’écrire 6 ∃, =⇒
6 . Ces symboles n’existent pas !

Ch1 Log Eco Ges

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Ch1 Log Eco Ges

Transféré par

Droits d'auteur :

Formats disponibles

Eléments de Logique

École Nationale de Commerce et de Gestion - Casablanca

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 1 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 2 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 3 / 36

Le langage courant comporte plusieurs ambiguïtés

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 4 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 5 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 6 / 36

1 Pour simplifier la manipulation des propositions on utilisera les

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 7 / 36

1 Un connecteur (opérateur) logique binaire permet de relier deux

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 8 / 36

L’opérateur logique et La conjonction

On résume ceci en une table de vérité :

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 9 / 36

1 « Soient P la proposition 7 est un nombre inférieur à 12 et Q la

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 10 / 36

L’opérateur logique ou La disjonction

On reprend ceci dans la table de vérité :

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 11 / 36

1 On considère une proposition R, « 7 est un nombre inférieur à 12

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 12 / 36

L’opérateur non La négation

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 13 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 14 / 36

Associativité, commutativité et distributivité

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 15 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 16 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 17 / 36

L’implication joue un rôle fondamental dans la formalisation du

et définie par la table de vérité suivante :

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 18 / 36

La définition mathématique est la suivante :

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 19 / 36

1 Il fait beau ⇒ je suis heureux. Cette proposition est vraie si je suis

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 20 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 21 / 36

Encore une petite quelque chose, P et Q sont toujours deux

Sa négation est P et nonQ c’est-à-dire : il pleut et je sors.

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 22 / 36

Soient P et Q deux propositions, nous pouvons construire une proposition noté

La table de vérité est :

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 23 / 36

Soient P et Q deux propositions. On dit alors qu’elles sont équivalentes, ou

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 24 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 25 / 36

Soit E un ensemble et P(x) une proposition dépendant d’un paramètre

le symbole ∀ est appelé quantificateur universel.

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 26 / 36

• On nomme A l’ensemble des étudiants d’une classe. On note

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 27 / 36

Soit la proposition Q :={ Tous les étudiants de la classe sont présents}.

le symbole ∃ est appelé quantificateur existentiel.

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 28 / 36

• ∃x ∈ R x 2 = 1 est vraie (La proposition se lit « Il existe au moins

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 29 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 30 / 36

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 31 / 36

∀x ∈ R ∃y > 0 (x + y > 10)

ENSG-Casablanca (ENCG) Raisonnements 2018 - 2019 32 / 36

L’ordre des quantificateurs est très important.

∀x ∈ R ∃y ∈ R (x + y > 0) et ∃y ∈ R ∀x ∈ R (x + y > 0).