Sie sind auf Seite 1von 41

MT90/91-Fonctions dune variable relle

Chapitre 1 : Lexpression mathmatique

quipe de Mathmatiques Appliques

UTC

septembre 2016
Chapitre 1
Lexpression mathmatique

1.1 Oprations logiques lmentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4


1.1.1 Quest-ce que lexpression mathmatique ? . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Ngation dune proposition : non P . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.3 Disjonction de deux propositions : P ou Q . . . . . . . . . . . . . . . . . . . . . 6
1.1.4 Equivalence de deux propositions : P Q . . . . . . . . . . . . . . . . . . . . . 7
1.1.5 Conjonction de deux propositions : P et Q . . . . . . . . . . . . . . . . . . . . . 8
1.1.6 Implication logique de deux propositions : P Q . . . . . . . . . . . . . . . . 9
1.2 Quelques formes de raisonnements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Raisonnement partir de la contrapose . . . . . . . . . . . . . . . . . . . . . 11
1.2.2 Raisonnement par labsurde . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Notions sur les ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.1 Dfinition dun ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.2 Dfinition dun sous-ensemble et de lensemble vide . . . . . . . . . . . . . . 14
1.3.3 Intersection et union densembles . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.4 Complmentaire dune partie dun ensemble . . . . . . . . . . . . . . . . . . . 16
1.3.5 Cardinal dun ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.6 Produit cartsien densembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4 Quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.4.1 Proposition dpendant dune variable : P (x) . . . . . . . . . . . . . . . . . . . 19
1.4.2 Quantificateur universel : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.4.3 Quantificateur existentiel : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.4.4 Quantificateurs multiples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.5 Relation dquivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4 Lexpression mathmatique

1.1 Oprations logiques lmentaires

1.1.1 Quest-ce que lexpression mathmatique ?

Il sagit de se familiariser lexpression mathmatique du raisonnement et quelques rgles de raisonne-


ment logique constamment utilises en mathmatiques et ailleurs.

Ces rgles permettent, partir de propositions sur (ou proprits, ou relations entre) des objets ma-
thmatiques (nombres, figures gomtriques, fonctions, . . . ), connues ou poses comme vraies , de dduire
dautres propositions ou proprits vraies.

Ici, le mot proposition dsigne tout nonc sur les objets considrs auquel on peut attribuer une valeur
de vrit. Par
pexemple :
(P1) 2 est un nombre rationnel,
(P2) par deux points il passe une droite et une seule,
(P3) une fonction drivable est continue.
Quant la vrit en question, il sagit dune valeur logique qui est lun des deux mots vraie ou fausse (principe
du tiers exclu). Ainsi (P1) est fausse et (P3) est vraie.

Un certain nombre de propositions sont considres comme vrits premires, qui ne se dduisent pas
dautres propositions vraies. Certaines dentre elles traduisent en langage mathmatique les proprits les
plus videntes des objets concrets auxquels on pense. On les appelle des axiomes. Par exemple, (P2) est un
des axiomes de la gomtrie euclidienne. Les autres propositions vraies le sont par dduction des axiomes ou
dautres propositions dont la vrit est dj dmontre. Les axiomes sont en petit nombre et possdent une
cohrence interne, en ce sens quon ne peut dduire deux aucune proposition la fois vraie et fausse.
1.1 Oprations logiques lmentaires 5

1.1.2 Ngation dune proposition : non P

Exercices :
Exercice A.1.1

Dfinition 1.1.1. Si P est une proposition, sa ngation, note non P , est une proposition qui est fausse si P
est vraie et qui est vraie si P est fausse.

Il rsulte de cette dfinition que non(non P ) et P ont la mme valeur logique, cest dire sont vraies simul-
tanment ou fausses simultanment.

Par exemple
P : Tous les dimanches je vais au restaurant,
non P : Il existe au moins un dimanche o je ne vais pas au restaurant
P : Je vais au restaurant au moins un dimanche de dcembre,
non P : Je ne vais jamais au restaurant le dimanche en dcembre.

Remarque 1.1.1. non P se note aussi P .


6 Lexpression mathmatique

1.1.3 Disjonction de deux propositions : P ou Q

Exercices :
Exercice A.1.2
Exercice A.1.3
Exercice A.1.4

Dfinition 1.1.2. Si P et Q sont deux propositions, la disjonction, note P ou Q, est une proposition qui est
vraie si au moins lune des deux propositions est vraie et qui est fausse si les deux propositions sont fausses.

On introduit maintenant la notion de table de vrit :

Dfinition 1.1.3. Soient P et Q deux propositions, R une proposition dpendant de P et Q (dans cet ordre).
On associe R le tableau suivant :

P Q R
V V
V F
F V
F F
o les cases blanches seront remplies par la lettre V chaque fois que R est vraie et la lettre F si elle est fausse,
selon les valeurs logiques (V ou F ) de P et Q respectivement indiques sur la 1ere colonne et la 1ere ligne. Ce
tableau sappelle la table de vrit de R.

Par exemple si R = (P ou Q), sa table de vrit scrit :

P Q P ou Q
V V V
V F V
F V V
F F F

Par exemple, si on considre les deux propositions :


P : Tous les lundis je vais au cinma,
Q : Le 15 de chaque mois je vais au cinma,
La proposition (P ou Q) est vraie si elle sapplique quelquun qui va au cinma tous les lundis ou quelquun
qui va au cinma le 15 de chaque mois (il peut videmment faire les deux). Elle est fausse dans tous les autres
cas. En particulier elle est fausse sil sagit de quelquun qui ne va au cinma que les lundis 15.

Attention, le fromage ou dessert du restaurant nest pas un ou mathmatique car il est exclusif.

Si dans une dmonstration on veut utiliser lhypothse (P ou Q) est vraie, alors deux cas sont possibles :
soit P est vraie et on utilise ce rsultat dans la dmonstration,
soit P est fausse, alors Q est vraie et lon utilise ces deux rsultats dans la dmonstration.
Pour montrer que (P ou Q) est vraie, il faut dmontrer que lon est dans lun des deux cas suivants :
soit P est vraie et donc (P ou Q) est vraie,
soit P est fausse et ceci peut tre utilis pour montrer que Q est vraie.

Remarque 1.1.2. P ou Q se note aussi P Q.


1.1 Oprations logiques lmentaires 7

1.1.4 Equivalence de deux propositions : P Q

Exercices :
Exercice A.1.5
Exercice A.1.6

Dfinition 1.1.4. Lquivalence de deux proposition P et Q, note P Q, est vraie si les deux propositions
P et Q sont vraies ou fausses simutanment.

On a donc la table de vrit suivante :

P Q P Q
V V V
V F F
F V F
F F V

Lorsque P Q est vraie, ce que lon peut aussi exprimer par "P et Q sont quivalentes", on dit aussi que P
(resp. Q) est une condition ncessaire et suffisante de Q (resp. P ), ou que P (resp. Q) est vraie si et seulement
si Q (resp. P ) est vraie.

Par exemple :
{ non ( non P )} P
{P ou Q} {Q ou P }
{2x = 4} {x = 2}

La disjonction est associative dans le sens o

{P ou (Q ou R)} {(P ou Q) ou R)}

Si P est toujours fausse, alors (P ou Q) est quivalente Q.


8 Lexpression mathmatique

1.1.5 Conjonction de deux propositions : P et Q

Exercices : Exemples :
Exercice A.1.7 Exemple B.1.1
Exercice A.1.8
Exercice A.1.9
Exercice A.1.10

Dfinition 1.1.5. Si P et Q sont deux propositions, la conjonction, note P et Q, est la proposition qui est
vraie si les deux propositions sont vraies et qui est fausse si au moins lune des deux propositions est fausse.

Il rsulte de cette dfinition que les propositions (P et Q) et (Q et P ) sont quivalentes.

Par exemple, soient les deux propositions :


P : Tous les lundis je vais au cinma,
Q : Le 15 de chaque mois je vais au cinma,
La proposition (P et Q) est vraie si elle sapplique quelquun qui va au cinma tous les lundis et le 15 de
chaque mois. Elle est fausse dans tous les autres cas. Attention, (P et Q) ne correspond pas : Tous les lundis
15 je vais au cinma.

Soient deux propositions P et Q, vous montrerez en exercice les deux rsultats suivants :
la proposition non (P et Q) est quivalente la proposition (non P ) ou (non Q),
la proposition non (P ou Q) est quivalente la proposition (non P ) et (non Q).
Pour dmontrer ce genre de rsultat, on peut aussi utiliser les tables de vrit, ce qui est plus technique et donc
parfois plus facile.

La conjonction est associative dans le sens o (P et Q) et R est quivalente P et (Q et R).

Si P est toujours vraie, alors (P et Q) est quivalente Q.

Remarque 1.1.3. P et Q se note aussi P Q.


1.1 Oprations logiques lmentaires 9

1.1.6 Implication logique de deux propositions : P Q

Exercices : Exemples :
Exercice A.1.11 Exemple B.1.2
Exercice A.1.12
Exercice A.1.13
Exercice A.1.14

Dfinition 1.1.6. Soient P et Q deux propositions, on appelle limplication logique (de Q par P ) la propo-
sition, note P Q, qui est vraie si
soit P est fausse,
soit P est vraie et Q est vraie.
Elle est fausse dans le seul cas o P est vraie et Q est fausse.

On a donc la table de vrit suivante :

P Q P Q
V V V
V F F
F V V
F F V

Attention, P Q nest pas quivalente Q P .

Limplication se dit, en langage courant, P implique Q et signifie que Q est vraie ds que P lest. Dailleurs
pour prouver que cette implication est vraie, on na quune seule chose faire : dmontrer que si P est vraie,
alors Q aussi lest. Mais il faut faire attention car elle ne donne aucun renseignement sur Q si P est fausse,
comme on le voit dans lexemple suivant :

Soient 3 nombres rels x, y, z. On a limplication (bien connue) suivante :

(x = y) (xz = y z)

On voit sur cet exemple que quand la proposition (P ) est fausse (x 6= y), la conclusion (Q) peut tre vraie (si
z = 0) ou fausse (si z 6= 0) .

Dans la pratique, par abus de langage, quand la notation (P Q) est utilise, on entend que cette impli-
cation est vraie : on dira dmontrer P Q plutt que dmontrer que (P Q) est vraie.

Proposition 1.1.1. P Q est quivalente ((non P ) ou Q).

Dmonstration - On a vu dans le paragraphe rfrenc que ((non P ) ou Q) est vraie si non P est vraie (donc
P fausse) ou si non P est fausse (P vraie) et Q est vraie. Ceci correspond bien P Q.

Au lieu de dire que P implique Q on dit aussi que P est une condition suffisante de Q (pour que Q soit
vraie, il suffit que P le soit), ou que Q est une condition ncessaire de P (si P est vraie, ncessairement Q lest).

Corollaire 1.1.1. non (P Q) est quivalente (P et (non Q)).


10 Lexpression mathmatique

Attention ! La ngation dune implication nest pas une implication.

Enfin, limplication est transitive, soit

{(P 1 P 2 ) et (P 2 P 3 )} (P 1 P 3 )

Proposition 1.1.2. (P Q) (non Q non P )

La dmonstration est faire en exercice.

Proposition 1.1.3. P Q est quivalent P Q et Q P

Lquivalence est transitive, soit

{(P 1 P 2 ) et (P 2 P 3 )} (P 1 P 3 )
1.2 Quelques formes de raisonnements 11

1.2 Quelques formes de raisonnements


Un raisonnement est une manire darriver une conclusion en partant dune (ou de plusieurs) hypo-
thse(s), et en utilisant les rgles de dduction dune proposition partir dune autre. Vous connaissez dj
le raisonnement par quivalence qui consiste partir dune proposition vraie (lhypothse par exemple) et
construire par quivalence dautres propositions (qui sont donc vraies), dont la dernire est la conclusion.
Vous connaissez le raisonnement par rcurrence que nous formaliserons plus tard. Voici deux autres formes
de raisonnement qui dcoulent des rgles de logique prcdentes.

1.2.1 Raisonnement partir de la contrapose

Exercices :
Exercice A.1.15

La proposition 1.1.2 donne une autre manire de dmontrer que P Q. En effet il est quivalent de mon-
trer que (non Q) (non P ), cest--dire que si la proposition Q est fausse alors la proposition P est fausse, ce
qui est parfois plus simple. Cest ce que lon appelle un raisonnement par contrapose.

Un premier exemple emprunt Racine est : Si Titus est jaloux, il est amoureux. En effet, sil nest pas
amoureux, il na aucune raison dtre jaloux !

Un deuxime exemple mathmatique : Si n est un entier impair alors le chiffre des units de n est impair.
On va montrer la contrapose, savoir :

(le chiffre des units de n est pair) (n est pair).

En effet, si le chiffre des units de n est pair, on peut crire n = 10q + 2p soit n = 2(5q + p) cest--dire n est
pair.

Attention La proposition suivante est fausse :

(P Q) (non P non Q)

Elle peut conduire de nombreuses erreurs, par exemple la suivante : tant donn que tout homme est mor-
tel, cet nonc pourrait servir prouver que toute vache est immortelle.
12 Lexpression mathmatique

1.2.2 Raisonnement par labsurde

Exercices :
Exercice A.1.16

Le principe du raisonnement par labsurde est le suivant : pour dmontrer quune proposition R est vraie,
on suppose le contraire (cest--dire R fausse), et on essaye darriver un rsultat faux (absurde).

Par exemple, pour montrer quil nexiste pas de plus petit rel strictement positif (alors que toute calculette
possde un tel nombre puisque ses capacits de stockage ne sont pas infinies), on va supposer quil en existe
un, not a (donc 0 < a est tel quil nexiste aucun rel x tel que 0 < x < a). Or le rel a2 est tel que 0 < a2 < a, ce
qui contredit les hypothses.

On peut appliquer ce principe par exemple la proposition (P Q), note R. On a vu dans les cours
rfrencs que (P Q) scrit (Q ou (non P )) et que non(Q ou (non P )) est quivalente ((non Q) et P ).
On peut donc montrer limplication (P Q) en montrant que ((non Q) et P ) est fausse. Plus prcisment on
suppose que P est vraie et Q est fausse et lon dmontre que cela aboutit un rsultat faux.

Par exemple, pour montrer que, n tant un entier, (n impair) (le chiffre des units de n est impair), on
va supposer la fois que n est impair et que le chiffre de ses units est pair, ce qui donne :

2m + 1 = 10q + 2p 1 = 2(5q + p m)

ce qui est impossible puisque 1 ne peut pas tre le produit de deux entiers dont lun est 2.
1.3 Notions sur les ensembles 13

1.3 Notions sur les ensembles

1.3.1 Dfinition dun ensemble

Un ensemble E est considr comme une collection dobjets (mathmatiques) appels lments.
x E signifie x est un lment de E ,
x 6 E signifie x nest pas un lment de E .
Un ensemble E est donc dfini si, pour chaque objet x considr, une et une seule des deux ventualits x E
et x 6 E est vraie. En pratique, on dfinit un ensemble, soit en exhibant tous ses lments, soit en donnant
un critre permettant de vrifier la vrit de (x E ) ou de (x 6 E ). Par exemple lensemble des nombres rels
positifs ou nuls scrit R+ = {x R, x 0}.

Dans la suite, nous supposerons connus les ensembles suivants :


lensemble N des entiers naturels,
lensemble Z des entiers relatifs,
lensemble Q des nombres rationnels,
lensemble R des nombres rels,
lensemble C des nombres complexes.
lensemble R des nombres rels non nuls,
lensemble R+ des nombres rels positifs ou nuls,
lensemble R des nombres rels ngatifs ou nuls.

2 2 2 p p
Par exemple, 6 N, Q, R, 2 R, 2 6 Q, 1 + i C, 1 + i 6 R.
3 3 3
14 Lexpression mathmatique

1.3.2 Dfinition dun sous-ensemble et de lensemble vide

Exercices :
Exercice A.1.17
Exercice A.1.18

Soit E un ensemble, une partie ou sous-ensemble de E est un ensemble A vrifiant la proprit suivante
pour tout x :
(x A) (x E )
On dit aussi que A est inclus dans E , et on note A E , par exemple R+ R.

Pour montrer lgalit de deux ensembles on procde par double inclusion, cest--dire

(A = B ) {(A B ) et (B A)}

ou par quivalence, cest--dire


(x A) (x B )
qui est la traduction de la double inclusion.

Lensemble vide, not ;, est un ensemble qui ne contient aucun lment, cest--dire qui est tel que la
proprit (x ;) est fausse quel que soit x. Donc ; E pour tout ensemble E. En effet x ; tant toujours
fausse limplication (x ;) (x E ) est vraie.
1.3 Notions sur les ensembles 15

1.3.3 Intersection et union densembles

Exercices :
Exercice A.1.19
Exercice A.1.20
Exercice A.1.21

Si A et B sont deux parties de E , on appelle intersection de A et B , note A B lensemble des lments


communs A et B , et lon a :
(x A B ) ((x A) et (x B )) .
Par exemple, soit E = N, A lensemble des entiers multiples de 3, B lensemble des entiers multiples de 5, alors
A B est lensemble des entiers multiples de 15. De manire gnrale, si A est lensemble des entiers multiples
de n et B lensemble des entiers multiples de m, alors A B est lensemble des entiers multiples du plus petit
multiple commun de n et m. ( propos vous souvenez-vous du calcul de ce plus petit multiple commun ? )

On appelle union de A et B , note A B lensemble des lments appartenant A ou B , et lon a :


(x A B ) ((x A) ou (x B )).

Ainsi, soit E = N, A lensemble des entiers multiples de 3, B lensemble des entiers multiples de 5, alors
A B est lensemble des entiers qui sont multiples de 3 ou de 5.

Soit E un ensemble quelconque, pour toutes parties A, B et C de lensemble E , on a les galits ensem-
blistes suivantes :
A (B C ) = (A B ) C ,
A (B C ) = (A B ) C ,
A (B C ) = (A B ) (A C ),
A (B C ) = (A B ) (A C ),
que lon peut dmontrer par quivalence.
16 Lexpression mathmatique

1.3.4 Complmentaire dune partie dun ensemble

Exercices : Cours :
Exercice A.1.22 Ensemble - dfinition

Soit E un ensemble, pour toute partie A de E , lensemble des lments de E qui nappartiennent pas A
sappelle le complmentaire de A dans E et se note E A ou E \A.

Lorsque, du fait du contexte, il ny a pas dambigut sur lensemble E , on se contente souvent de noter A,
le complmentaire de A dans E .

Par exemple,
soit E = N et soit A lensemble des entiers pairs, alors A est lensemble des entiers impairs,
soit E = R et soit A = {0}, alors A = R ,
soit E = R et soit B = {2} alors B = R\{2},
soit E = R et soit A = R+ , alors A = R
.

Pour toutes parties A et B dun ensemble E , on a les proprits suivantes


A B B A,
(A) = A,
(A B ) = A B ,
(A B ) = A B .
Notons bien que le complmentaire dune intersection est lunion des complmentaires et de mme le
complmentaire dune union est lintersection des complmentaires.

Notons aussi que lorsque lon dfinit un ensemble E comme lensemble des lments vrifiant une pro-
prit P , soit
E = {x, P (x)},
le complmentaire de E est lensemble des lments vrifiant non P . De mme, si A et B sont dfinis laide
des proprits P et Q, alors A B est dfini par P etQ et A B par P ouQ.

Attention : la notation E A suppose que A est inclus dans E , on a donc E (E A) = A, alors que la notation
B \A dfinie par x B \A x B, x A ne suppose pas que A est inclus dans B , on a alors B \(B \A) = A B .

Par exemple, E = R, A = [1, 3], B = [2, 5], B \A =]3, 5], B \(B \A) = [2, 3] = A B , on montrerait de mme que
A\(A\B ) = [2, 3].
1.3 Notions sur les ensembles 17

1.3.5 Cardinal dun ensemble

Exercices :
Exercice A.1.23
Exercice A.1.24

On dit quun ensemble E est fini sil a un nombre fini dlments. Le nombre de ses lments est appel
cardinal de E et se note card(E ).

Par exemple, si E = {1, 2, 3}, alors card(E )= 3.

On note P (E ) lensemble des parties de E .

Proposition 1.3.1. Le nombre des parties dun ensemble fini de cardinal n est gal 2n .

Dmonstration - Il suffit de dnombrer le nombre des parties de E = {a 1 , . . . , a n } :


partie vide ;,
parties ne contenant quun lment, il y en a n {a 1 }, . . . , {a n },

n
parties formes de deux lments, il y en a de la forme {a i , a j } avec i 6= j ,
2
...
parties formes de p lments obtenues en prenant toutes les combinaisons de p lments parmi n, il

n
y en a ,
p
...
E lui-mme (E E ).
Le nombre dlments est donc

n n n n
+ +...+ +...+ = (1 + 1)n = 2n .
0 1 k n

Cette dernire relation est une application de la formule du binme de Newton qui est donne en exercice.
18 Lexpression mathmatique

1.3.6 Produit cartsien densembles

Exercices :
Exercice A.1.25

Si E et F sont deux ensembles, le produit cartsien de E par F , not E F , est constitu des couples (x, y),
o x dcrit E et o y dcrit F . Les couples (x, y) et (x 0 , y 0 ) sont gaux si et seulement si x = x 0 et y = y 0 .

Si E est un ensemble, le produit cartsien E E se note E 2 .

Par exemple, le produit cartsien R2 est form des couples de nombres rels ; ceux-ci permettent de dter-
miner un point du plan par ses coordonnes, lorsquon sest donn un repre (appel aussi repre cartsien)
cest--dire la donne dune origine O et de deux vecteurs non colinaires (~,~).

Plus gnralement, pour tout entier n suprieur ou gal 2, le produit cartsien de E par lui-mme n fois
se note E n . Les lments de E n sont les n-uples (x 1 , x 2 , . . . , x n ) o les lments x 1 , x 2 , . . . , x n appartiennent E .

Les n-uples (x 1 , x 2 , . . . , x n ) et (x 10 , x 20 , . . . , x n0 ) sont gaux si et seulement si on a x i = x i0 , pour tout i tel que


1 i n.

Attention ! lorsque E 6= F , E F est diffrent de F E .


1.4 Quantificateurs 19

1.4 Quantificateurs

1.4.1 Proposition dpendant dune variable : P (x)

Exercices :
Exercice A.1.26
Exercice A.1.27

Si P est une proposition dont lnonc dpend de la valeur dune variable x on peut la noter P (x) et consi-
drer les cas particuliers P (a) o a est une valeur particulire de x.

Par exemple, soit dans R la proposition suivante P (x) : x 2 1 < 0. Alors P (2) est fausse et P (0) est vraie, et
plus gnralement P (x) est vraie pour toutes les valeurs de x appartenant ] 1, +1[.

Soit P une proposition dpendant de lentier n, le raisonnement par rcurrence permet de montrer que
P (n) est vraie pour tout n N. Sa formalisation est faire en exercice.

Soit E un ensemble, P une proprit dpendant dune variable x de E , on est souvent amen considrer
lensemble des lments a de E tels que P (a) soit vraie (on dit aussi, les a qui vrifient la proprit P ). On le
note
A P = {x E , P (x)}.
20 Lexpression mathmatique

1.4.2 Quantificateur universel :

Exercices :
Exercice A.1.28
Exercice A.1.29

Pour exprimer quune proprit P (x) est vraie pour tous les lments x dun ensemble de E , on crit :

x E , P (x).

(La virgule dans cette phrase peut tre remplace par un autre signe sparateur, couramment le point-virgule
( ;) ou le trait vertical (|)).

Si on reprend la notation A P dfinie prcdemment, on a alors :

(x E , P (x)) A P = E .

Exemples
x R, x 2 0,
x [2, +), x 2 4 0,
E F scrit : x E , x F .

Proposition 1.4.1. On a lquivalence suivante :

(x E , (P (x) et Q(x))) ((a E , P (a)) et (b E ,Q(b))) .

Dmonstration - En effet P (x) et Q(x) sont vraies pour tout lment de E est bien quivalent P (x) est vraie
pour tout lment de E et Q(x) est vraie pour tout lment de E . On peut galement dmontrer cette proposi-
tion avec les ensembles, en effet :
A P AQ = E A P = E et AQ = E .
1.4 Quantificateurs 21

1.4.3 Quantificateur existentiel :

Exercices : Exemples :
Exercice A.1.30 Exemple B.1.3
Exercice A.1.31
Exercice A.1.32

Pour exprimer quune proprit P (x) est vrifie pour au moins un lment x dun ensemble E , on crit :

x E , P (x)

qui se traduit par : il existe x appartenant E tel que P(x) est vraie .

Sil existe un unique lment x de E tel que P(x) est vraie, on crira

!x E , P (x)

Par exemple, x R, x 2 = 1, mais !x R, x 2 = 1 ne peut pas scrire. Par contre, vous pouvez crire

!x R+ , x 2 = 1.

La proprit (x E , P (x)) se traduit par A P 6= ; .

Proposition 1.4.2. On a lquivalence suivante :

x E , ((P (x) ou Q(x)) (a E , P (a)) ou (b E , Q(b))

Cette proposition est dmontre en exercice par double implication.


22 Lexpression mathmatique

1.4.4 Quantificateurs multiples

Exercices :
Exercice A.1.33
Exercice A.1.34

Il sagit simplement de successions de et . Mais il faut faire trs attention lordre dans lequel on les
crit. Par contre on a le rsultat vident suivant :

Proposition 1.4.3. Deux quantificateurs de mme nature qui se suivent peuvent tre changs.

Par exemple
x R, y R, x 2 + y 2 0 y R, x R, x 2 + y 2 0.

De mme
x R, y R, x + y = 0 y R, x R, x + y = 0.

Proposition 1.4.4. On a les quivalences suivantes :

non(x E , P (x)) (a E , non P (a))

non(a E , Q(a)) (x E , non Q(x))

Dmonstration - La ngation de la proposition P est vrifie pour tout lment de E est il existe au moins
un lment de E pour lequel la proposition P est fausse . Ce qui sexprime mathmatiquement par :

non (x E , P (x)) a E , non P (a)

On peut dmontrer cette proposition avec les ensembles :

non(A P = E ) (a E , a A P ) (a E , non P (a))

La deuxime proposition nest que la ngation de cette premire proposition, si lon appelle Q la proposi-
tion (non P ).

Par exemple, la ngation de x R, x > 0 est a R, a 0.

Proposition 1.4.5. Soient E et F deux ensembles et P une proposition dpendant de deux indtermines et
chaque couple dlments (a,b) du produit cartsien E F , on associe P (a, b). Alors on a

non (a E , b F, P (a, b)) (a E , b F, non P (a, b))

(a E , b F, P (a, b)) (b F, a E , P (a, b))

Dmonstration - La premire est une application directe de la proposition prcdente. La deuxime est admise
ou laisse au lecteur courageux, vous pouvez l aussi utiliser les ensembles.

Attention ! Limplication inverse de celle de la proposition ci-dessus est fausse.

Attention ! x, y na pas le mme sens que y, x.


1.4 Quantificateurs 23

1.4.5 Relation dquivalence

Exercices : Documents :
Exercice A.1.35 Document C.1.1

Dfinition 1.4.1. On appelle relation dans E une partie de E E . Plus prcisment, soit R E E , on dit
que x et y sont lis par la relation R si (x, y) R. On crit souvent xR y pour indiquer que x et y sont lis
par la relation R.

Par exemple E = N et R = {(x, y) N N | x y} dfinit une partie de N N et la relation associe est la relation
(dordre) infrieur ou gal. Autre exemple, E = Z Z et R = {(p, q), (p 0 , q 0 )) E E | pq 0 = p 0 q} dfinit un
exemple de relation qui va tre appele relation dquivalence.

Dfinition 1.4.2. On appelle relation dquivalence une relation qui vrifie les trois proprits suivantes :
elle est rflexive : (x, x) R,
elle est symtrique : (x, y) R (y, x) R,
elle est transitive : {(x, y) R et (y, z) R} (x, z) R.
Si R est une relation dquivalence, on crit souvent x y, ou x y, au lieu de (x, y) R.

Dans un ensemble quelconque, la relation x est gal y est une relation dquivalence. partir dune relation
dquivalence, on peut dfinir des classes dquivalence (voir le document rfrenc).

La relation dquivalence est dailleurs une gnralisation de la relation dgalit. Elle est prsente partout
en mathmatiques. Elle permet, lorsque lon tudie certains objets mathmatiques, de nen conserver que les
proprits pertinentes pour le problme considr.
Annexe A
Exercices

A.1 Exercices du chapitre 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26


A.2 Exercices de TD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
26 Exercices

A.1 Exercices du chapitre 1

Exercice A.1.1 Ch1-Exercice1


Soit la proposition P : n est un entier impair,
Donner (non P ) lorsque lon considre que n est un entier,
Donner (non P ) lorsque lon considre que n est un rel,
et en conclure que la rponse dpend du contexte.

Exercice A.1.2 Ch1-Exercice2


Soit n N et soient les deux propositions :
P : n est un entier pair,
Q : n est un entier impair,
La proposition (P ou Q) est-elle vraie pour tout n ? Quel est le rsultat si lon considre n R ?

Exercice A.1.3 Ch1-Exercice3


Soit x R et soient les deux propositions :
P : x 0,
Q : x 0,
La proposition (P ou Q) est-elle vraie, quel que soit x ? Mme question si lon remplace Q par : x > 0. Mme
question enfin, si lon remplace P par x < 0 et Q par x > 0.

Exercice A.1.4 Ch1-Exercice4


On suppose que la proposition (P ou Q) est vraie. Comment doit tre la proposition P pour tre sr que la
proposition Q est vraie ? Application : Soit f une fonction de R dans R et soient les deux propositions
P : f est impaire ( f (x) = f (x), quel que soit x rel),
Q : f est drivable,
et on suppose que (P ou Q) est vraie pour les fonctions que lon va considrer. Soit f 1 (x) = x 2 et f 2 (x) = 1 si
x > 0, f 2 (x) = 1 si x < 0 et f 2 (0) = 0. Peut-on en dduire que les fonctions f 1 et f 2 sont drivables ?

Exercice A.1.5 Ch1-Exercice5


Montrer que (P ou Q)ou R est quivalente P ou (Q ou R).

Exercice A.1.6 Ch1-Exercice6


Donner un thorme qui snonce comme une condition ncessaire et suffisante. Il y en a bien sr un trs
grand nombre.

Exercice A.1.7 Ch1-Exercice7


Soit n N et soient les deux propositions :
P : n est pair,
A.1 Exercices du chapitre 1 27

Q : n est impair,
La proposition (P et Q) est-elle vraie ?

Exercice A.1.8 Ch1-Exercice8


Soient les deux propositions :
P : x est un rel tel que x 0,
Q : x est un rel tel que x 0,
noncer la proposition (P et Q) ?

Exercice A.1.9 Ch1-Exercice9


Soient trois propositions P , Q et R, montrer les rsultats suivants :
non (P et Q) (non P ) ou (non Q),
non (P ou Q) (non P ) et (non Q).
(P et Q)ou R (P ou R) et (Q ou R).
(P ou Q)et R (P et R) ou (Q et R).

Exercice A.1.10 Ch1-Exercice10


Montrer que (P et Q)et R est quivalente P et (Q et R).

Exercice A.1.11 Ch1-Exercice11


Montrer que si Q est toujours vraie, alors quelle que soit la proposition P on a P Q. Illustrer ce rsultat
par un exemple.

Exercice A.1.12 Ch1-Exercice12


Soit f une fonction relle et soient les deux propositions :
P : f est drivable sur [a, b] et f 0 (x) 0 sur [a, b],
Q : f est croissante sur [a, b],
P est-elle une condition ncessaire de Q ? (Quelle implication faut-il considrer ?) P est-elle une condition
suffisante de Q ? Q est-elle une condition ncessaire de P ? Q est-elle une condition suffisante de P ? (Justifier
toutes les rponses).

Exercice A.1.13 Ch1-Exercice13


Sachant que P Q scrit ((non P ) ou Q) montrer que

(P Q) (non Q non P )

Exercice A.1.14 Ch1-Exercice14


Montrer que si Q est une proposition fausse, alors P (P ou Q). Donner un exemple.
28 Exercices

Montrer que, si R est une proposition vraie, (P Q) {(P et R) Q}. Ainsi, pour dmontrer une im-
plication, on peut adjoindre P toute vrit dj tablie, ce qui peut faciliter la dmonstration. Donner
un exemple.

Exercice A.1.15 Ch1-Exercice15


Montrer par contrapose que si n est un entier premier avec 6 alors n est impair. (On rappelle que n est un
entier premier avec lentier p si n et p nont pas dautres diviseurs communs que 1.)

Exercice A.1.16 Ch1-Exercice16


Dmontrer par labsurde le rsultat suivant

( > 0, a < b + ) a b

Exercice A.1.17 Ch1-Exercice17


Soient A et B deux sous-ensembles de R dfinis par : A = {x R, x > 0} et B = {x R, x 1}, est-ce que A B
ou B A ? (Justifier le rsultat.)

Exercice A.1.18 Ch1-Exercice18


Soient E = {x R, (x > 0) ou (x 0)}, montrer par double inclusion que E = R.

Exercice A.1.19 Ch1-Exercice19


Soit E = R3 (cest--dire lespace tout entier), soit A un plan de lespace passant par lorigine et B une droite
de lespace passant par lorigine. Donner A B et A B en fonction de la position de la droite par rapport au
plan.

Exercice A.1.20 Ch1-Exercice20


Soient A et B deux parties dun ensemble E
1. On suppose dans cette question que A B . Donner A B et A B . Que se passe-t-il si A = ; ?
2. Montrer que
(a)
A B = ; (A = ; et B = ;).

(b)
(A = ; ou B = ;) A B = ;.

Limplication rciproque rciproque est-elle vraie ?


(c)
(A = E ou B = E ) A B = E .

Limplication rciproque rciproque est-elle vraie ?


A.1 Exercices du chapitre 1 29

Exercice A.1.21 Ch1-Exercice21


Pour toutes parties A, B et C de lensemble E , montrer les galits ensemblistes suivantes :
A (B C ) = (A B ) C ,
A (B C ) = (A B ) C ,
A (B C ) = (A B ) (A C ),
A (B C ) = (A B ) (A C ).

Exercice A.1.22 Ch1-Exercice22


Pour toutes parties A et B de lensemble E , montrer que :
(A) = A, (A B B A)
(A B ) = A B , (A B ) = A B

Exercice A.1.23 Ch1-Exercice23


Soit E = {1, 2, 3}, montrer, en les numrant, que le nombre de parties de E est gal 8.

Exercice A.1.24 Ch1-Exercice24


Montrer par rcurrence la formule du binme de Newton :

n n n n n1 n np p n
(a + b) = a + a b +...+ a b +...+ bn
0 1 p n

n n! n +1 n n
On rappelle que 0! = 1, = p!(np)! et = + .
p p +1 p p +1

Exercice A.1.25 Ch1-Exercice25


Montrer que R C est diffrent de C R.

Exercice A.1.26 Ch1-Exercice26


Soit P (n) une proposition dpendant de lentier n, formaliser le raisonnement par rcurrence pour mon-
trer que P (n) est vraie pour tout n N.

Exercice A.1.27 Ch1-Exercice27


Soit P une proprit dpendant dune variable x, et soit A P = {x E , P (x)} lensemble des lments qui
vrifient cette proprit. Montrer que
1.
(P Q) (A P AQ )

2.
A (P ou Q) = A P AQ .

3.
A (P et Q) = A P AQ .

4.
A ( non P ) = A P .
30 Exercices

Exercice A.1.28 Ch1-Exercice28


En raisonnant par double implication, montrer que
(x R; ax 2 + bx + c = 0) (a = 0, b = 0, c = 0).

Exercice A.1.29 Ch1-Exercice29


Soit E un ensemble et soient les deux propositions :
x E , (P (x) ou Q(x)),
(a E , P (a)) ou (b E , Q(b)).
Trouver laquelle implique lautre. Donner un contre-exemple pour limplication qui nest pas valable.

Exercice A.1.30 Ch1-Exercice30


Soient a et b deux nombres rels tels que a < b, montrer que : c R, a < c < b. La dmonstration sera
constructive, cest--dire que pour dmontrer lexistence dun tel c, vous allez en donner un explicitement.

Exercice A.1.31 Ch1-Exercice31


Montrer que
x E , ((P (x) ou Q(x)) (a E , P (a)) ou (b E , Q(b))

Exercice A.1.32 Ch1-Exercice32


Montrer que
(x E , P (x) et Q(x)) (a E , P (a)) et (b E , Q(b))
puis trouver un contre-exemple mathmatique pour dmontrer que la rciproque est fausse.

Exercice A.1.33 Ch1-Exercice33


Montrer que la proposition x R, y R,, x +y = 0 est vraie, alors que la proposition y R, x R, x +y =
0 est fausse.

Exercice A.1.34 Ch1-Exercice34


Soient l R et (u n ) = {u 0 , u 1 , u 2 , . . .}, une suite de nombres rels. Nous nous intresserons plus loin dans le
cours la proprit suivante :
, N , n N , |u n l |
que lon peut crire
, N , P (N , )
En vous aidant dun graphique, interprtez cette proposition, puis donner sa ngation en prcisant ce quest
non P (N , ).

Exercice A.1.35 Ch1-Exercice35


Soit E = Z Z et R = {(p, q), (p 0 , q 0 )) E E | pq 0 = p 0 q}, montrer que lon dfinit ainsi une relation dqui-
valence.
A.2 Exercices de TD 31

A.2 Exercices de TD

Exercice A.2.1 TD1-Exercice1


crire la ngation des propositions suivantes : (on utilisera les quantificateurs)

1. Pour tout x dans R, f (x) 2 et g (x) = 0.


2. Quel que soit n dans Z, n 0 ou n > 0.
3. Il existe au moins un x dans R tel que e x > 1.
4. Il existe un unique x dans R tel que e x = 1.
p
5. Si x 0, alors x existe.
6. n est un entier positif implique que n 3 n est multiple de 3.

Exercice A.2.2 TD1-Exercice2


Soit x un rel, les propositions suivantes sont-elles vraies ?

x 2 < 0 3x > 1

5x < 7 x 2 0

Exercice A.2.3 TD1-Exercice3


Soient E un ensemble et P (x) une proprit satisfaite ou non par les lments de E . Quel est le seul sous-
ensemble A de E pour lequel limplication

(x A, P (x)) (x A, P (x)),

est fausse ?

Exercice A.2.4 TD1-Exercice4


Soit E et F deux ensembles. Soit f une application qui tout lment de E fait correspondre un lment,
not f (x) de F . Soit la proposition

x E , y E , (x 6= y) ( f (x) 6= f (y)).

1. crire la ngation de cette proposition.


2. Dans la proposition originale, remplacer limplication par sa contrapos.
3. crire la ngation de la proposition ainsi obtenue.
4. Comparer les deux ngations obtenues en 1) et 3).
32 Exercices

Exercice A.2.5 TD1-Exercice5


Soient P et Q deux propositions. Les propositions ci-dessous sont-elles toujours vraies ?
1. Q (P Q).
2. P (P Q).
3. P (P ou Q).
4. P (P et Q).
5. Q (P ou Q).
6. (P et Q) Q.

Exercice A.2.6 TD1-Exercice6


Montrer que si n est un entier relatif alors 12n 2 36n + 25 est un entier positif.

Exercice A.2.7 TD1-Exercice7


Soient x et y des rels, montrer que si x 6= y alors (x + 1)(y 1) 6= (x 1)(y + 1).

Exercice A.2.8 TD1-Exercice8


Soit n un entier, montrer que 3n est pair si et seulement si n est pair.

Exercice A.2.9 TD1-Exercice9


Montrer que si n est un entier, alors ou n est impair ou n(n + 2)(n + 3) est multiple de 4.

Exercice A.2.10 TD1-Exercice10


p
Montrer que si x est un rationnel non nul, alors x 2 est irrationnel.

Exercice A.2.11 TD1-Exercice11


n
X n(n + 1)
Montrer que pour tout entier n on a i=
i =0 2

Exercice A.2.12 TD1-Exercice12


Soit n un entier relatif et P (n) la proposition suivante :

(n 2 est pair) (n est pair)

1. crire la contrapose de P (n) et dmontrer que cette proposition est vraie.


2. Redmontrer cette proposition par labsurde (on pourra calculer n 2 n).

Exercice A.2.13 TD1-Exercice13


Soient n et p deux entiers relatifs, montrer

np impair n impair et p impair


A.2 Exercices de TD 33

Exercice A.2.14 TD1-Exercice14


1. P , Q et R sont trois propositions, montrer que :

(P (Q ou R)) ((P et nonQ) R)

2. Montrer que :
Si n, p Z alors np est pair ou n 2 p 2 est multiple de 8

Exercice A.2.15 TD1-Exercice15


Soient P et Q deux propositions, est-ce que les propositions non (P ou Q), ((non P ) ou Q) sont quiva-
lentes ? Si la rponse est non, montrer quil existe une implication entre ces propositions,
laquelle ? Montrer que lautre implication est fausse.

Exercice A.2.16 TD1-Exercice16


1. P et Q sont des propositions, montrer :

(P ou Q) (( non P ) Q) (( non Q) P ).

2. Dmontrer que pour tout rel x on a x 5 x 4 + x 2 + 3 > 0 ou x < 2.


3. Dmontrer que pour tout entier n on a n est pair ou n nest pas multiple de 4.

Exercice A.2.17 TD1-Exercice17


1. Montrer par rcurrence que si n N, alors 12n 2 60n + 73 N.
2. En dduire que si n Z, alors 12n 2 60n + 73 N.

Exercice A.2.18 TD1-Exercice18


Dmontrer par rcurrence que

1. pour tout entier naturel n, on a lingalit 2n > n,


2. pour tout entier naturel n suprieur ou gal p (entier que lon dterminera), on a lingalit 2n > n 2 .

Exercice A.2.19 TD1-Exercice19


Soit E un ensemble. Soient A, B deux sous-ensembles de E . Dmontrer que :

1. A B = A A B .
2. A B = A B A (on pourra passer aux complmentaires).
34 Exercices

Exercice A.2.20 TD1-Exercice20


Soient A, B et C trois sous-ensembles dun ensemble E .
1. On rappelle que A \ B = {x A; x 6 B }. Montrer que

(A C ) \ (B C ) = (A \ B ) C = (A C ) \ B = (C \ B ) A.


A \ (A \ B ) = A B.

2. On pose :
A4B = (A \ B ) (B \ A)
Montrer que (A4B ) C = (A C )4(B C ).

Exercice A.2.21 TD1-Exercice21


1. Soit P (x) une proprit des lments de E . Dterminer la ngation des propositions suivantes :
(a) x E , P (x)
(b) x E , P (x)
(c) ! x E , P (x)
2. Soit f une application de R dans R. Exprimer la ngation des propositions suivantes :
(a) x R, f (x) 2
(b) x 2, f (x) 2
(c) x 2, f (x) 2
(d) !x R, f (x) = 2
Quels sont les liens logiques entre ces propositions ?

Exercice A.2.22 TD1-Exercice22


Les propositions suivantes sont-elles vraies ou fausses ?
1. x R, y R; x + y = 0
2. y R, x R; x + y = 0
3. x R, y R; x y = 1
4. y R, x R; x y = 1
5. y R, x R; x + y = x

Exercice A.2.23 TD1-Exercice23


1. (a) Soient P (x) et Q(x) deux proprits des lments de R. Laquelle des deux propositions
i. x R, (P (x) ou Q(x)),
ii. ( x R, P (x)) ou ( x R, Q(x))
entrane lautre ?
(b) On note P (x) la proprit x est positif ou nul et Q(x) la proprit x est infrieur ou gal 1999.
Les propositions i. et ii. sont-elles vraies ou fausses ?
2. (a) Soient P (x) et Q(x) deux proprits des lments de R. Laquelle des deux propositions
A.2 Exercices de TD 35

i. x R, (P (x) et Q(x)),
ii. ( a R, P (a)) et ( b R, Q(b))
entrane lautre ?
(b) Trouvez un exemple de proprits P (x) et Q(x) montrant que les propositions i. et ii. ne sont pas
quivalentes.
(c) Les deux propositions suivantes
i. x R, (P (x) et Q(x)),
ii. ( x R, P (x)) et ( x R, Q(x))
sont-elles quivalentes ?
3. Soient P (x) et Q(x) deux proprits des lments de R. Les propositions suivantes sont-elles quiva-
lentes ?
(a) x R, (P (x) et Q(x)),
(b) ( x R, P (x)) et ( x R, Q(x))
4. Soient P (x) et Q(x) deux proprits des lments de R. Montrer que

x R, (P (x) ou Q(x)) = ( x R, P (x)) ou ( x R, Q(x))

Exercice A.2.24 TD1-Exercice24


On appelle E lensemble des applications dfinies sur R valeurs dans R, soit f E . On note

K f = {x R, f (x) = 0}, I f = {y R, x R, y = f (x)}

1. Est-ce que f E , K f 6= ; ?
Est-ce que f E , I f 6= ; ?
Justifiez vos rponses.
2. On suppose dans cette question que f , g E et f (0) = g (0) = 0.
(a) Montrer que K f I g 6= ;.
(b) Montrer que K g K f g .
(c) On suppose que K f I g = {0}, montrer qualors K g = K f g .
3. (a) Montrer que I f g I f .
(b) On suppose I g = R, montrer que I f g = I f
Annexe B
Exemples

B.1 Exemples du chapitre 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38


38 Exemples

B.1 Exemples du chapitre 1

Exemple B.1.1
Soient les deux propositions :
P : n est un entier multiple de 3,
Q : n est un entier pair,
La proposition (P et Q) est : n est un entier multiple de 6 (car 3 et 2 sont premiers entre eux).

Exemple B.1.2
Limplication suivante est vraie :

(1 = 2) Tous les nombres sont nuls.

En effet, si 1 = 2, en retranchant 1 des deux membres de cette galit on obtient 0 = 1, puis en multipliant par
un nombre x quelconque, on voit que x = 0.
Cet exemple montre qu partir dune proposition fausse, on peut dmontrer nimporte quoi.

Exemple B.1.3
Il existe des martiens riches et honntes implique il existe des martiens riches et il existe des martiens
honntes. Par contre, il existe des martiens riches et il existe des martiens honntes nimplique pas Il existe
des martiens riches et honntes (ce ne sont pas forcment les mmes). Cet exemple montre que la rciproque
de
(x E , P (x) et Q(x)) (a E , P (a)) et (b E , Q(b))
est fausse.
Annexe C
Documents

C.1 Documents du chapitre 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40


40 Documents

C.1 Documents du chapitre 1

Document C.1.1 Classes dquivalence

Dfinition C.1.1. tant donne une relation dquivalence R, on appelle classe dquivalence de llment
a E la partie a E dfinie par :
a = {x E | xRa}.
Tous les lments de a sont donc quivalents entre eux. On appelle ensemble quotient de E par R, que lon
note E /R, lensemble constitu des classes dquivalences des lments de E .

Lensemble des classes dquivalences constitue une partition de E , cest--dire une famille de sous-ensembles
de E deux deux disjoints et dont la runion est gale E . En effet tout lment a E appartient la classe
a. Par ailleurs sil existe x a b alors on a xRa et xRb et donc, daprs la transitivit, aRb ce qui implique
a = b. Donc a 6= b a b = ;, ce qui correspond bien une partition.

Soit E = Z Z et R = {(p, q), (p 0 , q 0 )) E E | pq 0 = p 0 q}, alors la classe dquivalence de (p, q) avec q 6= 0


p p0
est lensemble des (p 0 , q 0 ) , q 0 6= 0, tels que q = q 0 . On peut alors construire un ensemble, not Q , comme len-
semble quotient de Z Z par la relation dquivalence prcdente. Un lment de Q, qui est appel nombre
p
rationnel, est donc la classe dquivalence dun couple (p, q), q 6= 0 et on le note, par abus de langage, q .
Index des concepts

Le gras indique un grain o le concept est dfini ; lita- R


lique indique un renvoi un exercice ou un exemple, le gras Raisonnement par contrapose . . . . . . . . . . . . . . . . . . . . 11
italique un document, et le romain un grain o le con- Raisonnement par labsurde . . . . . . . . . . . . . . . . . . . . . . . . 12
cept est mentionn. Raisonnement par rcurrence . . . . . . . . . . . . . . . . . . . . . . 19
Relation dquivalence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .23
C
Conjonction de deux propositions . . . . . . . . . . . . . . . . . . . 8
S
Sous-ensemble, ensemble vide . . . . . . . . . . . . . . . . . . . . . 14
D
Disjonction de deux propositions . . . . . . . . . . . . . . . . . . . . 6

E
Ensemble - dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . 13, 16
Ensembles - cardinal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .17
Ensembles - produit cartsien . . . . . . . . . . . . . . . . . . . . . . 18
Ensembles -complmentaire . . . . . . . . . . . . . . . . . . . . . . . 16
Ensembles -intersection et union . . . . . . . . . . . . . . . . . . 15
Equivalence de deux propositions . . . . . . . . . . . . . . . . . . . 7

I
Implication logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

N
Ngation dune proposition . . . . . . . . . . . . . . . . . . . . . . . . . . 5

P
Propositions - Axiomes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4

Q
Quantificateur existentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Quantificateur universel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
Quantificateurs multiples. . . . . . . . . . . . . . . . . . . . . . . . . . .22