TABLE DES MATIRES 1

Vocalulaire de la logique et
thorie des ensembles
Paul Milan

LMA le 2 mars 2010

Table des matires

1 Introduction 1

2 Les connecteurs logiques 2

2.1 Expression, proposition, axiome et thorme . . . . . . . . . . . . . . . . 2
2.2 La ngation : le connecteur logique NON . . . . . . . . . . . . . . . . . 3
2.3 La conjonction : le connecteur logique ET . . . . . . . . . . . . . . . . . 3
2.4 La disjonction : le connecteur logique OU . . . . . . . . . . . . . . . . . 4
2.5 Limplication : le connecteur logique Si. . . alors . . . . . . . . . . . . . . 5
2.6 Lquivalence logique : le connecteur logique Si et seulement si . . . . . 6

3 Les quantificateurs 6
3.1 Le quantificateur universel . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2 Le quantificateur existentiel . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.3 Proprits des quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . 7
3.3.1 Lordre des quantificateurs . . . . . . . . . . . . . . . . . . . . . 7
3.3.2 Ngation dune proposition universelle . . . . . . . . . . . . . . 7
3.3.3 Ngation dune proposition existentielle . . . . . . . . . . . . . . 8

4 Thorie des ensembles 8

4.1 Dfinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.1.1 Ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
4.1.2 lement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4.1.3 Sous-ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4.2 Complmentaire dun ensemble . . . . . . . . . . . . . . . . . . . . . . 10
4.3 Intersection de deux ensembles . . . . . . . . . . . . . . . . . . . . . . . 11
4.4 Union de deux ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.5 Lois De Morgan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
4.6 Distributivit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

1 Introduction
Le raisonnement mathmatique obit une logique. Depuis ladoption des math-
matiques modernes lcole, on a mis en application les recherches sur la logique du
XIXme sicle. Ainsi sont apparus des nouveaux symboles comme : , , , quun
 2

mathmaticien utilise maintenant couramment. Mais ces symboles sont souvent utiliss
comme abrviation sans en connatre leur vritable signification. Lobjet de ce paragraphe
est de dfinir puis de donner quelques exemples pour clarifier leur utilisation. Avant de
commencer il faut savoir que les mathmatiques sont fondes sur une dualit cest dire
quune proposition est soit fausse soit vraie. Il ny a pas dentre deux, cest dire quune
proposition " moiti vraie " ou "presque vraie" est considre comme fausse. Cependant
quest-ce que la logique ?
La logique mathmatique diffre de la logique formelle philosophique.
Science de la dmonstration, la logique mathmatique consiste surtout en
ltude des rapports formels existant entre les propositions indpendamment
de toute interprtation que lon pourrait en donner ou des valeurs de vrit
que lon peut leur attribuer.
D dition Puf.
La deuxime partie de ce chapitre a pour but de rappeler certaines notions lmentaires
sur les oprations logiques avec les ensembles, le vocabulaire et les signes mathmatiques
qui sy rattachent. Il est important dassimiler ces termes et dfinitions afin de pouvoir
davantage formaliser le langage mathmatique. Votre expression mathmatique gagnera
en prcision et votre comprhension du langage mathmatique samliorera. De plus cette
formulation mathmatique vous fera gagner du temps et de la rigueur.

2 Les connecteurs logiques

2.1 Expression, proposition, axiome et thorme

Dfinition 1 Une expression est un ensemble de signes (lettres, chiffres, symboles,

mots, etc.) possdant une signification dans un univers donn.

e En algbre 3x2 + 4x 5
m:p:l::
Ex:e:::
:: En gomtrie ABC un triangle

Dfinition 2 Une proposition propose lexpression dun fait. Une proposition est
synonyme dnonc.

En algbre 3x2 + 4x 5 = 0 , 23 = 8
p:l:e:
E x:e:m
::
: En gomtrie ABC est un triangle quilatral , ABCD est
::
un losange .
On peut composer des expressions ou des propositions en utilisant certains mots ou
certains symboles possdant une signification tels que les connecteurs logiques (connec-
teurs propositionnels) et les quantificateurs.
On rpartit les propositions en deux catgories : les axiomes et les thormes.

Dfinition 3 Un axiome est une proposition dont on admet quelle est vraie.
Un thorme est une proposition dont il faut tablir la vracit. Un thorme est
donc vrai sil se dduit logiquement daxiomes.

2 mars 2010
 2.2 L : NON 3

Un axiome
Par un point extrieur une droite, on ne peut tracer quune
parallle. (5me postulat dEuclide)
e m p:l:e:
:: Un thorme
Ex:: :
::
Un triangle est rectangle si et seulement le carr de son hypo-
tnuse est gal la somme des carrs des deux autres cts.
(thorme de Pythagore)

2.2 La ngation : le connecteur logique NON

Dfinition 4 Nier une proposition, cest passer de la dfinition dune partie dun
ensemble la dfinition de son complmentaire.
Son symbole est qui se place devant la proposition. Cest le seul connecteur qui
porte sur une seule proposition.

Quelques exemples :

P P
x>4 x64
xN x<N
A, B, C aligns ABC triangle
(D) et (D0 ) secantes (D) // (D0 )

Du fait du principe de dualit, cest dire quune proposition est soit vraie soit fausse,
on a donc : soit la proposition P est vraie soit la proposition P est vraie. Pour analyser
les diffrents cas possibles, on a lhabitude de prsenter les connecteurs logiques laide
de tables appeles tables de vrit . La table de vrit du connecteur NON sera donc :

P P
Vrai Faux
Faux Vrai

Si on utilise une notation informatique on remplaant Vrai par 1 et Faux par 0 on

obtient alors :
P P
1 0
0 1

2.3 La conjonction : le connecteur logique ET

Dfinition 5 Le connecteur logique ET porte sur deux propositions. La proposition

(P et Q) note P Q est vrai si les deux propositions P et Q sont simultanment
vraies, la proposition P Q est fausse dans tous les autres cas.

2 mars 2010
 2.4 L : OU 4

On a la table de vrit suivante :

P Q PQ
Vrai Vrai Vrai
Vrai Faux Faux
Faux Vrai Faux
Faux Faux Faux

Quelques exemples :

P Q PQ
x < 10 x>2 x ] 2 ; 10 [
ABCD losange ABCD rectangle ABCD carr

2.4 La disjonction : le connecteur logique OU

Dfinition 6 Le connecteur logique OU porte sur deux propositions. La proposition

(P ou Q) note P Q est fausse si les deux propositions sont simultanment fausses,
la proposition P Q est vraie dans tous les autres cas.

On a la table de vrit suivante :

P Q PQ
Vrai Vrai Vrai
Vrai Faux Vrai
Faux Vrai Vrai
Faux Faux Faux

Quelques exemples :

P Q PQ
x<2 x > 10 x ] ; 2 []10 ; +[
n multiple de 3 n pair
n {2, 3, 4, 6, 8, 9}
infrieur 10 infrieur 10

On peut exprimer le connecteur OU laide des connecteurs

e ET et NON :
a rq:u:::
m
Re:::::: P Q = (P Q)
::

Pour sen convaincre voici la table de vrit montrant ceci :

P Q P Q P Q (P Q)
Vrai Vrai Faux Faux Faux Vrai
Vrai Faux Faux Vrai Faux Vrai
Faux Vrai Vrai Faux Faux Vrai
Faux Faux Vrai Vrai Vrai Faux

2 mars 2010
 2.5 L : S. . . 5

2.5 Limplication : le connecteur logique Si. . . alors

Dfinition 7 Le connecteur logique Si . . . alors, porte sur deux propositions. La pro-

position (Si P alors Q) note P Q est fausse lorsque lon a simultanment la
proposition P vraie et la proposition Q fausse, la proposition P Q est vraie dans
tous les autres cas.

On a la table de vrit suivante :

P Q PQ
Vrai Vrai Vrai
Vrai Faux Faux
Faux Vrai Vrai
Faux Faux Vrai

Quelques exemples :

P Q PQ
x = 2 x =4
2
Si x = 2 alors x2 = 4
ABC Si ABC quilatral alors
ABC isocle
quilatral ABC isocle

On peut exprimer le connecteur logique : Si . . . alors, laide

des connecteurs OU et NON :
ue
m ar:q::::
e
R:::
:
:::
P Q = P Q

Pour sen convaincre voici la table de vrit montrant ceci :

P P Q P Q
Vrai Faux Vrai Vrai
Vrai Faux Faux Faux
Faux Vrai Vrai Vrai
Faux Vrai Faux Vrai

Lorsque lon a P Q on dit que Q est une condition ncessaire P et que P

est une condition suffisante Q. Si nous reprenons notre exemple de triangle, un triangle
quilatral est ncessairement isocle. En effet un triangle quilatral est au moins isocle.
Par contre pour montrer quun triangle est isocle, il est suffisant quil soit quilatral mais
cela nest pas ncessaire.
La structure dun thorme obit la structure Si . . . alors. En effet il se dcompose en
deux parties : les hypothses (proposition H) puis les conclusions (proposition C). Si le
thorme est dmontr alors on a H C. Pour montrer quun thorme est faux, il suffit
de montrer, par un contre-exemple, quil existe un cas o H est vrai avec C faux.
Pour montrer que P Q il est parfois plus facile de dmontrer que, si lon na pas Q
alors on na pas P. Cela sappelle la contrapose :
Q P
Cela revient dire que : si le triangle nest pas isocle, il nest pas quilatral.

2 mars 2010
 2.6 L : S 6

Montrons cette proprit grce une table de vrit :

P Q Q P Q P
Vrai Vrai Faux Faux Vrai
Vrai Faux Vrai Faux Faux
Faux Vrai Faux Vrai Vrai
Faux Faux Vrai Vrai Vrai

2.6 Lquivalence logique : le connecteur logique Si et seulement si

Le connecteur logique Si et seulement si porte sur deux propositions. La proposition
(P si et seulement si Q) note P Q est vrai lorque lon a simultanment P et Q vraies
ou fausses. La propostion est fausse dans les autres cas. On a la table de vrit suivante :

P Q PQ
Vrai Vrai Vrai
Vrai Faux Faux
Faux Vrai Faux
Faux Faux Vrai

Pour quune quivalence soit vraie, il faut avoir : P Q et Q P

Quelques exemples :

P Q PQ
x2 = 4 x = 2 ou x = 2 x2 = 4 x = 2 ou x = 2
ABC triangle rectangle ABC rectangle en A
BC 2 = AB2 + AC 2
en A BC 2 = AB2 + AC 2

Pour dmontrer une quivalence logique, on procdera souvent en deux tapes :

1. P Q
2. Q P
Cest le cas du deuxime exemple qui correspond au thorme de Pythagore et sa rci-
proque.
e Lorque lon a P Q, on dit que P est une condition nces-
m a rq:u:::
::
R e::::
saire et suffisante de Q et inversement.
::

3 Les quantificateurs
3.1 Le quantificateur universel

Dfinition 8 Un quantificateur permet de prciser le domaine de validit dune pro-

position. Le symbole qui signifie quel que soit ou pour tout reprsente le
quantificateur universel. Ce symbole reprsente la lettre A renverse qui est lini-
tiale du mot anglais All . Il doit toujours tre suivi du signe dappartenance .

e m p:l:e:
::
x R, x2 > 0
x
E:: : :
:
quelque soit x appartenant R, x2 est positif ou nul

2 mars 2010
 3.2 L 7

3.2 Le quantificateur existentiel

Dfinition 9 Le symbole qui signifie il existe au moins un . . . tel que reprsente

le quantificateur existentiel. Ce symbole reprsente la lettre E renverse qui est
linitiale du mot anglais exist . On peut ventuellement rajouter un point dexcla-
mation pour montrer lunicit. On a alors : ! qui signifie il existe un unique . . . tel
que .

le ! x [0; 1], x2 + 4x + 1 = 0
E em::p:::
x:::
:: Il existe un unique x appartenant lintervalle [0, 1] tel que :
x2 + 4x + 1 = 0

3.3 Proprits des quantificateurs

3.3.1 Lordre des quantificateurs
Lordre dans lequel on crit les quantificateurs change la signification :

x R, y R, y>x
Quel que soit le rel x, il existe au moins un rel y tel que y
soit suprieur x
On peut toujours trouver un nombre suprieur un nombre
rel donn car lensemble R nest pas born. La proposition
est vraie.
e:m pl:e:
:: Inversons maintenant les quantificateurs
E x
:
::
::

x R, y R, y>x

Il existe au moins un rel x tel que pour tout rel y, y soit

suprieur x
Cette proposition cette fois est fausse car on ne peut trouver un
rel infrieur tous les autres. En effet lensemble R na pas de
borne infrieur.

3.3.2 Ngation dune proposition universelle

Dfinition 10 Une proposition universelle snonce : Pout tout lment x dun en-
semble E, x possde la proposition P . Sa ngation sera : il existe au moins un
lment x de lensemble E qui ne possde pas la proprit P .

Soit la proposition
Tous les lecteurs de ce chapitre comprennent tout ce qui est
e:m pl:e:
:: crit
E x
:
::
::
Sa ngation sera donc :
Il existe au moins un lecteur qui ne comprend pas ce chapitre

2 mars 2010
 8

Pour dmontrer quune proposition universelle nest pas vraie, il suffit donc de trou-
ver un seul x qui ne vrifie pas la proposition P. Cest ce quon nomme un contre-
exemple . Lorsque lon nonce une proposition, on cherche un contre exemple pour
tester si cette proposition peut tre vraie. Si aucun contre-exemple ne vient, il reste
dmontrer la proposition ce qui savre souvent bien plus difficile.

3.3.3 Ngation dune proposition existentielle

Dfinition 11 Une proposition existentielle snonce : Il existe au moins un l-

ment x de lensemble E qui possde la proprit P . Sa ngation sera : Pour tout
lment x de lensemble E, x ne vrifie pas P .

Soit la proposition P :

x R, x2 = 1

pl:e: Cette proposition est fausse car un carr ne peut tre ngatif.
E:
x:e:m
::
::
Par contre sa ngation est vraie :
:

x R, x2 , 1

4 Thorie des ensembles

4.1 Dfinitions
4.1.1 Ensemble

Dfinition 12 Un ensemble est une collection dlments que lon peut numrer ou
dfinir par une proprit. On reprsente souvent un ensemble par une majuscule (A,
B, C, . . .). Certains ensembles ont des notations particulires (ex. N, Z, D, Q, R)
Lorsquon numre les lments dun ensemble, on dit que cet ensemble est dfini par
extension, lorsquon dfinit un ensemble par une proprit, on dit que cet ensemble
est dfini par comprhension.
Un ensemble qui ne contient aucun lment sappelle : lensemble vide not .

2 mars 2010
 4.1 D 9

Soit A lensemble des chiffres impairs et B lensemble des

points dun d jouer. On peut dfinir A et B par extension :

A = {1, 3, 5, 7, 9}

B = {1, 2, 3, 4, 5, 6}
Lorsque le nombre des lments dun ensemble devient trop

e m pl:e:s:
::
important ou quil y a un nombre infini dlments, on ne
E x
: : :: peut le dfinir que par comprhension. Soit C lensemble des
::
nombres dune grille de Loto et D densemble des entiers natu-
rels multiples de 3 :

C = { x N / 1 6 x 6 49 }

D = { x N / k N, x = 3k }
Le slash / signifie tel que .
La dfinition par comprhension peut cacher des "piges"
pour les mathmaticiens. On peut laide dune proprit
rendre lensemble paradoxal.
Langlais Bertrand Russel (1872-1970) a propos un tel en-
e semble popularis sous la forme du paradoxe des catalogues :
m a rq:u:::
:: un libraire dcide de faire le catalogue K des catalogues qui ne
Re:::
::
:
sont pas catalogus. Le catalogue K devra-t-il figurer dans ce
nouveau catalogue ?
Si K se contient, il est donc catalogu et ne peut y figurer. Si
K ne se contient pas, il doit y figurer. Ceci est contradictoire, le
catalogue K est donc inclassable, il est donc paradoxal.

4.1.2 lement

Dfinition 13 Un ensemble est constitu dlements. On reprsente souvent un l-

ment par un minuscule. On dit quun lment a appartient un ensemble A. On
crit alors :
a A
Notez le symbole signifiant appartient est initiale de element .

4.1.3 Sous-ensemble

Dfinition 14 On dit quun ensemble A est un sous-ensemble de lensemble E si et

seulement si tout lment de A est lment de E ou si A = . On dit alors que A est
inclus dans E.
A E a A , a E ou A =
Le symbole signifie inclus dans .

2 mars 2010
 4.2 C 10

On peut visualiser cette proprit par un diagramme de Venn

E A
qu:e:
R m:a:r:::
e:::
:: a

4.2 Complmentaire dun ensemble

Dfinition 15 On appelle complmentaire de lensemble A dans lensemble E, len-

semble not {E (A) compos des lments de E qui ne sont pas lment de A. Le
complmentaire correspond au connecteur NON. On a alors :

a {E (A) a E et a<A

Le symbole < signifie nappartient pas .

Lorsque lensemble E est implicite, on note le complmentaire de A :

A qui se prononce A barre

Soit E lensemble des entiers naturels infrieurs ou gaux 20

et soit A lensemble des nombres premiers infrieurs 20. On
a donc :
A = {2, 3, 5, 7, 11, 13, 17, 19}
Lensemble {E (A) sera donc lensemble des entiers naturels in-
les:
E em::p:::
x::: frieurs ou gaux 20 qui ne sont pas premiers. On a donc :
::

{E (A) = {0, 1, 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20}

Soit lensemble P des entiers naturels pairs. Lensemble N est

ici implicite. On aura donc P lensemble des entiers naturels
pairs.
On peut visualiser le complmentaire de A dans E par le dia-
gramme de Venn suivant :

E a {E (A)
qu:e:
R m:a:r:::
e:::
::
A

2 mars 2010
 4.3 I 11

4.3 Intersection de deux ensembles

Dfinition 16 On appelle intersection de deux sous-ensembles A et B dans un en-
semble E, lensemble not : A B (A inter B) constitu des lments communs A
et B. On a donc :
x A B x A et x B

Soit A lensemble des entiers naturels pairs infrieurs ou gaux

20 et soit B lensemble des entiers naturels multiples de 3
infrieurs ou gaux 20. on a donc :

A = {0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20}

e:m pl:e:
::
E
::
x
:
:: B = {0, 3, 6, 9, 12, 15, 18}
On a donc :
A B = {0, 6, 12, 18}
qui nest autre que lensemble des entiers naturels multiples de
6 infrieurs ou gaux 20.

1. On peut visualiser lintersection de deux ensembles A et

B par le diagramme de Venn suivant :

A a B

2. Lorsque lensemble A est inclus dans lensemble B, on a

s
qu:e:: alors :
m:a:r:::
e:::
R
:: A B AB= A
3. Lorsque les ensembles A et B sont disjoints, ils ne pos-
sdent aucun lment commun, leur intersection est donc
vide, on a donc :

A B = A et B sont disjoints

Cest le cas avec lensemble A et sont complmentaire A,

on a donc : A A =

4.4 Union de deux ensembles

Dfinition 17 On appelle union de deux sous-ensembles A et B dans un ensemble E,
lensemble not : A B (A union B) constitu des lments qui appartiennent A ou
B (ventuellement aux deux, le ou tant non exclusif). On peut alors crire :

x A B x A ou x B

2 mars 2010
 4.5 L D M 12

Soit A lensemble des entiers naturels pairs infrieurs ou gaux

20 et soit B lensemble des entiers naturels multiples de 3
infrieurs ou gaux 20. on a donc :

A = {0, 2, 4, 6, 8, 10, 12, 14, 16, 18, 20}

e:m pl:e:
E
::
x
:
::
::
B = {0, 3, 6, 9, 12, 15, 18}
On a donc :

A B = {0, 2, 3, 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20}

1. On peut visualiser lunion de deux ensembles A et B par

le diagramme de Venn suivant :

A a1 a3 a2 B
s
a rq:u::e::
:
R ::
em:::
::
2. Lorsque lensemble A est inclus dans lensemble B, on a
alors :
A B AB= B
3. Lunion de lensemble A et de son complmentaire A
donne lensemble E, cest dire : A A = E

4.5 Lois De Morgan

Rgle 1 Soit A et B deux sous-ensembles de lensemble E. On note A et B les com-

plmentaires respectifs des ensembles A et B dans lensemble E. On a alors :

AB= AB et AB= AB

Le complmentaire de lintersection est gal lunion des complmentaires et le

complmentaire de lunion est gal lintersection des complmentaires

Le complmentaire se traduit en franais par une ngation.

Lunion et lintersection se traduisent respectivement par les
mots ou et et . Ainsi la ngation de la phrase :
pl:e: je vais au thatre ou au cinma
E x
:
e:m
::
::
se traduit, grce notre rgle par :
::
je ne vais pas au thatre et je ne vais pas au cinma
que lon peut aussi traduire par :
je ne vais ni au thatre ni au cinma
ue On peut dmontrer ces lois facilement grce une table de v-
e m ar:q::::
::
R::
:
:: rit.

2 mars 2010
 4.6 D 13

4.6 Distributivit
Rgle 2 Soit trois sous-ensembles A, B et C dun ensemble E. on a alors les galits
suivantes :

A (B C) = (A B) (A C) et A (B C) = (A B) (A C)

On peut visualiser par un diagramme de Venn : A (B C)

A (B C)
E

A B

ue
e m:
ar:q::::
::
Visualisation : A (B C)
R:::
:

A (B C)
E

A B

On peut dmontrer ces deux galits par une table de vrit !

A B C BC A (B C) AB AC (A B) (A C
1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1
1 0 1 1 1 0 1 1
1 0 0 0 0 0 0 0
0 1 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 0 1 1 0 0 0 0
0 0 0 0 0 0 0 0

2 mars 2010
 4.6 D 14

A B C BC A (B C) AB AC (A B) (A C
1 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 1 1
0 1 1 1 1 1 1 1
0 1 0 0 0 1 0 0
0 0 1 0 0 0 1 0
0 0 0 0 0 0 0 0

2 mars 2010