Professional Documents
Culture Documents
Visca
Dominique Barchiesi - Herve Lacresse - Jean-Eric
UTT
Automne 2012
5
suivant
Chapitre I
Lexpression mathematique
I.1
I.2
I.3
I.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 3
. 13
. 16
. 25
Sommaire
Concepts
Exemples
Exercices
Documents
chapitre N
section suivante
I.1 Op
erations logiques
el
ementaires
I.1.1
I.1.2
I.1.3
I.1.4
I.1.5
I.1.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
6
7
9
10
12
Sommaire
Concepts
Exemples
Exercices
Documents
section N
suivant
Il sagit de se familiariser lexpression mathmatique du raisonnement et quelques rgles de raisonnement logique constamment utilises en mathmatiques et ailleurs.
Ces rgles permettent, partir de propositions sur (ou proprits, ou relations entre) des objets mathmatiques (nombres, figures gomtriques, fonctions, . . . ), connues ou admises pour tre vraies, de dduire dautres propositions ou proprits vraies.
Ici, le mot "proposition" signifie toute assertion quon peut noncer sur les objets considrs, par
exemple : p
(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 associe chaque proposition. Une importante
hypothse est qu toute proposition considre, on sait associer sa valeur logique qui est lun des deux
mots vraie ou fausse (principe du tiers exclu). Ainsi (P1) est fausse et (P3) est vraie. Les oprations logiques
entre propositions, que lon va tudier ensuite, peuvent tre reprsentes par des tables de vrit (voir le
document rfrenc).
Un certain nombre de propositions sont considres comme vrits premires, cest--dire quelles ne
se dduisent pas dautres propositions vraies, mais 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 importante, en ce sens quon ne peut dduire deux aucune proposition la fois
vraie et fausse.
4
Sommaire
Concepts
Exemples
Exercices
Documents
section N
suivant
Attention : Des propositions en apparence diffrentes peuvent se rvler identiques, ce nest que leur
nonc qui varie. Ainsi "x positif ou nul" est la mme proposition que "x nest pas strictement ngatif". On
dira que ces propositions sont identiques (ou quivalentes).
Quest-ce que
lexpression
math
ematique ?
Remarque I.1.1. Lorsque lon prsente des rsultats mathmatiques dans un cours, lemploi du mot "proposition" sous-entend quil sagit dune proposition vraie, mme si, comme cela vient dtre expliqu, une
proposition est initialement une assertion "dcidable", cest--dire une assertion vraie ou fausse.
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
I.1.2 N
egation dune proposition : non P
Exercices :
Exercice A.1.1
En langage courant, lorsque lon nonce une proposition P , on considre quelle est vraie et donc la
ngation "non P " traduit tous les cas o P est fausse. Voici la dfinition mathmatique :
Dfinition I.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 ) est P elle-mme.
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 par an,
non P : Je ne vais jamais au restaurant le dimanche.
Remarque I.1.2. non P se note aussi P .
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Dfinition I.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.
Il rsulte de cette dfinition que les propositions (P ou Q) et (Q ou P ) sont identiques.
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.
La disjonction est associative dans le sens o (P ou Q)ou R est identique P ou (Q ou R).
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Disjonction de
deux
propositions : P
ou Q
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Exemples :
Exemple B.1.1
Documents :
Document C.1
Dfinition I.1.3. 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 identiques.
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 identique la proposition (non P ) ou (non Q),
la proposition non (P ou Q) est identique la proposition (non P ) et (non Q).
Pour dmontrer ce genre de rsultat, on peut aussi utiliser les tables de vrit (donnes dans le document
rfrenc), ce qui est plus technique et donc parfois plus facile.
La conjonction est associative dans le sens o (P et Q)et R est identique P et (Q et R).
Remarque I.1.4. P et Q se note aussi P Q.
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Exemples :
Exemple B.1.3
Cours :
Disjonction de deux propositions
Dfinition I.1.4. Soient P et Q deux propositions, on appelle limplication logique (de Q par P ) la proposition, 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.
Attention, P Q nest pas identique 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) .
Pourtant, dans la pratique, par abus de langage, quand la notation (P Q) est utilise, on entend que
cette implication est vraie : on dira "dmontrer P Q" plutt que "dmontrer que (P Q) est vraie".
Proposition I.1.1. P Q scrit galement ((non P ) ou Q).
10
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
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).
Implication
logique de deux
propositions :
P Q
Sommaire
Concepts
Exemples
Exercices
Documents
11
pr
ecedent
section N
Cours :
Implication logique
Sommaire
Concepts
section pr
ecedente
chapitre N
section suivante
I.2.1
I.2.2
14
15
Un raisonnement est une manire darriver une conclusion en partant dune (ou de plusieurs) hypothse(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.
13
Sommaire
Concepts
Exemples
Exercices
Documents
section N
suivant
Cours :
Equivalence logique
La proposition du cours rfrenc donne une autre manire de dmontrer que P Q. En effet il est
quivalent de montrer 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 lordre des propositions P et Q : La proposition(P Q) (non P non Q) est fausse.
Elle peut conduire de nombreuses erreurs, par exemple la suivante : tant donn que "tout homme est
mortel", cet nonc pourrait servir prouver que "toute vache est immortelle".
Sommaire
Concepts
Exemples
Exercices
Documents
14
pr
ecedent
section N
Cours :
Conjonction de deux propositions
Implication logique
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 contradictoire
(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 identique ((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 contradictoire.
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)
Sommaire
Concepts
ce qui est impossible puisque 1 ne peut pas tre le produit de deux entiers dont lun est 2.
Exemples
Exercices
Documents
15
section pr
ecedente
chapitre N
section suivante
I.3.1
I.3.2
I.3.3
I.3.4
I.3.5
I.3.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
18
19
21
23
24
Sommaire
Concepts
Exemples
Exercices
Documents
16
section N
suivant
I.3.1 D
efinition 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 scrit IR+ = {x IR, x 0}.
Dans la suite, nous supposerons connus les ensembles suivants :
lensemble IN des entiers naturels,
lensemble ZZ des entiers relatifs,
lensemble Q des nombres rationnels,
lensemble IR des nombres rels,
lensemble C des nombres complexes.
lensemble IR des nombres rels non nuls,
lensemble IR+ des nombres rels positifs ou nuls,
lensemble IR des nombres rels ngatifs ou nuls.
Par exemple,
p
p
2
2
2
6 IN, Q, IR, 2 IR, 2 6 Q, 1 + i C, 1 + i 6 IR.
3
3
3
Sommaire
Concepts
Exemples
Exercices
Documents
17
pr
ecedent
section N
suivant
I.3.2 D
efinition dun sous-ensemble et de lensemble vide
Cours :
Implication logique
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 :
(x A) (x E )
On dit aussi que A est inclus dans E , et on note A E , par exemple IR+ IR.
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 (voir la dfinition de limplication dans le paragraphe
rfrenc).
Sommaire
Concepts
Exemples
Exercices
Documents
18
pr
ecedent
section N
suivant
Cours :
Ensemble - definition
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Intersection et
union
densembles
Sommaire
Concepts
Exemples
Exercices
Documents
20
pr
ecedent
section N
suivant
I.3.4 Compl
ementaire dune partie dun ensemble
Exercices :
Exercice A.1.22
Cours :
Ensemble - definition
Soit E un ensemble, pour toute partie A de E , lensemble des lments de E qui nappartiennent pas
A sappelle le complmentaire de A 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 = IN et soit A lensemble des entiers pairs, alors A est lensemble des entiers impairs,
soit E = IR et soit A = {0}, alors A = IR ,
soit E = IR et soit B = {2} alors B = IR\{2},
soit E = IR et soit A = IR+ , alors A = IR
.
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.
Sommaire
Concepts
Notons aussi que lorsque lon dfinit un ensemble E comme lensemble des lments vrifiant une
proprit P , soit
Exemples
Exercices
Documents
E = {x, P (x)},
le complmentaire de E est lensemble des lments vrifiant non P .
21
pr
ecedent
section N
suivant
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".
Compl
ementaire
dune partie
dun ensemble
Sommaire
Concepts
Exemples
Exercices
Documents
22
pr
ecedent
section N
suivant
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 I.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 ena 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,
n
,
il y en a
p
...
E lui-mme (E E ).
Le nombre dlments est donc
n
n
n
n
+
+...+
+...+
= (1 + 1)n = 2n .
0
1
p
n
Cette dernire relation est une application de la formule du binme de Newton qui est donne en exercice.
23
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
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 parcourt E et o y parcourt 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 IR2 est form des couples de nombres rels ; ceux-ci permettent de
dterminer 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 (~
i ,~
j ).
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(ou n-uplets) (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 .
Sommaire
Concepts
Exemples
Exercices
Documents
24
section pr
ecedente
chapitre N
I.4 Quantificateurs
I.4.1
I.4.2
I.4.3
I.4.4
I.4.5
: P (x) . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
26
27
28
30
32
Sommaire
Concepts
Exemples
Exercices
Documents
25
section N
suivant
I.4.1 Proposition d
ependant dune variable : P (x)
Exercices :
Exercice A.1.26
Si P est une proposition dont lnonc dpend de la valeur dune variable x on peut la noter P (x) et
considrer les cas particuliers P (a) o a est une valeur particulire de x.
Par exemple, soit dans IR 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 IN. Sa formalisation est faire en exercice.
Sommaire
Concepts
Exemples
Exercices
Documents
26
pr
ecedent
section N
suivant
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 pointvirgule ( ;) ou le trait vertical (|)).
Par exemple
x IR, x 2 0,
x [2, +[, x 2 4 0,
E F scrit : x E , x F .
Proposition I.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 .
Notons que la proprit
x E , P (x)
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Exemples :
Exemple B.1.4
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 IR, x 2 = 1
mais
Sommaire
Concepts
!x IR, x 2 = 1
ne peut pas scrire. Par contre, vous pouvez crire
!x IR+ , x 2 = 1.
28
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
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)}
Quantificateur
existentiel :
Sommaire
Concepts
Exemples
Exercices
Documents
29
pr
ecedent
section N
suivant
Il sagit simplement de successions de " et ". Mais il faut faire trs attention lordre dans lequel
on les crit. En revanche, on a le rsultat vident suivant :
Proposition I.4.3. Deux quantificateurs de mme nature qui se suivent peuvent tre changs.
Par exemple
x IR, y IR, x 2 + y 2 0 y IR, x IR, x 2 + y 2 0.
De mme
x IR, y IR, x + y = 0 y IR, x IR, x + y = 0.
Proposition I.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)
et la deuxime proposition nest que la ngation de cette premire proposition, si lon appelle Q la proposition (non P ).
30
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
suivant
Quantificateurs
multiples
est
a IR, a 0
Proposition I.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.
Attention ! Limplication inverse de celle de la proposition ci-dessus est fausse.
Attention ! x, y" na pas le mme sens que y, x".
Proposition I.4.6. Dans une proposition comportant deux quantificateurs diffrents, lordre dans lequel
ceux-ci sont placs est trs important ; Les changer" peut compltement changer le sens de la proposition ! ! !
Lordre des quantificateurs va permettre de comprendre le sens de lnonc.
Par exemple
x IR, y IR, / x + y = 0 est vraie ......
Exemples
Exercices
Documents
31
pr
ecedent
section N
I.4.5 Relation d
equivalence
Exercices :
Exercice A.1.35
Documents :
Document C.2
Dfinition I.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 = IN et R = {(x, y) IN IN | x y} dfinit une partie de IN IN et la relation associe est la
relation (dordre) "infrieur ou gal". Autre exemple, E = ZZ ZZ 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 I.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.
Sommaire
Concepts
Exemples
Exercices
Documents
32
pr
ecedent
suivant
Annexe A
Exercices
A.1
A.2
Exercices de cours . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Exercices de TD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Sommaire
Concepts
Exemples
Exercices
Documents
33
chapitre N
section suivante
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
34
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
Sommaire
Concepts
Exemples
Exercices
Documents
chapitre N
A.1.26
A.1.27
A.1.28
A.1.29
A.1.30
A.1.31
A.1.32
A.1.33
A.1.34
A.1.35
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
section suivante
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
61
62
63
64
65
66
67
68
69
70
Sommaire
Concepts
Exemples
Exercices
Documents
35
section N
suivant
Exercice A.1.1
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.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
36
pr
ecedent
section N
suivant
Exercice A.1.2
Soit n IN 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 IR ?
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
37
pr
ecedent
section N
suivant
Exercice A.1.3
Soit x IR 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.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
38
pr
ecedent
section N
suivant
Exercice A.1.4
Montrer que (P ou Q)ou R est identique P ou (Q ou R).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
39
pr
ecedent
section N
suivant
Exercice A.1.5
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 IR dans IR 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 ?
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
40
pr
ecedent
section N
suivant
Exercice A.1.6
Soit n IN et soient les deux propositions :
P : n est pair,
Q : n est impair,
La proposition (P et Q) est-elle vraie ?
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
41
pr
ecedent
section N
suivant
Exercice A.1.7
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) ?
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
42
pr
ecedent
section N
suivant
Exercice A.1.8
Soient deux propositions P et Q, montrer les deux rsultats suivants :
la proposition non (P et Q) est identique la proposition (non P ) ou (non Q),
la proposition non (P ou Q) est identique la proposition (non P ) et (non Q).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
43
pr
ecedent
section N
suivant
Exercice A.1.9
Montrer que (P et Q) et R est identique P et (Q et R).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
44
pr
ecedent
section N
suivant
Exercice A.1.10
Montrer que si Q est toujours vraie, alors quelle que soit la proposition P on a P Q. Illustrer ce rsultat
par un exemple.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
45
pr
ecedent
section N
suivant
Exercice A.1.11
Soit f une fonction relle dfinie sur un intervalle [a, b] 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).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
46
pr
ecedent
section N
suivant
Exercice A.1.12
Donner un thorme qui snonce comme une condition ncessaire et suffisante. Il y en a bien sr un
trs grand nombre.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
47
pr
ecedent
section N
suivant
Exercice A.1.13
Sachant que P Q scrit ((non P ) ou Q) montrer que
(P Q) (non Q non P )
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
48
pr
ecedent
section N
suivant
Exercice A.1.14
Montrer que si Q est une proposition fausse, alors P (P ou Q). Donner un exemple.
Montrer que, si R est une proposition vraie, (P Q) {(P et R) Q}. Ainsi, pour dmontrer une
implication, on peut adjoindre P toute vrit dj tablie, ce qui peut faciliter la dmonstration.
Donner un exemple.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
49
pr
ecedent
section N
suivant
Exercice A.1.15
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.)
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
50
pr
ecedent
section N
suivant
Exercice A.1.16
Dmontrer par labsurde le rsultat suivant
( > 0, a < b + ) a b
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
51
pr
ecedent
section N
suivant
Exercice A.1.17
Soient A et B deux sous-ensembles de IR dfinis par : A = {x IR, x > 0} et B = {x IR, x 1}, est-ce que
A B ou B A ? (Justifier le rsultat.)
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
52
pr
ecedent
section N
suivant
Exercice A.1.18
Soient E = {x IR, (x > 0) ou (x 0)}, montrer par double inclusion que E = IR.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
53
pr
ecedent
section N
suivant
Exercice A.1.19
Soit E = IR3 (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.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
54
pr
ecedent
section N
suivant
Exercice A.1.20
Soient A et B deux parties dun ensemble E telles que A B . Donner A B et A B . Que se passe-t-il si
A =;?
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
55
pr
ecedent
section N
suivant
Exercice A.1.21
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 ).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
56
pr
ecedent
section N
suivant
Exercice A.1.22
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
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
57
pr
ecedent
section N
suivant
Exercice A.1.23
Soit E = {1, 2, 3}, montrer, en les exhibant, que le nombre de parties de E est gal 8.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
58
pr
ecedent
section N
suivant
Exercice A.1.24
Montrer par rcurrence la formule du binme de Newton :
p
(a + b)n = C n0 a n +C n1 a n1 b + . . . +C n a np b p + . . . +C nn b n
p
On rappelle que 0! = 1, C n =
n
p
n!
p!(np)!
p+1
p+1
et C n+1 = C n +C n
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
59
pr
ecedent
section N
suivant
Exercice A.1.25
Montrer que IR C est diffrent de C IR.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
60
pr
ecedent
section N
suivant
Exercice A.1.26
Soit P (n) une proposition dpendant de lentier n, formaliser le raisonnement par rcurrence pour
montrer que P (n) est vraie pour tout n IN.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
61
pr
ecedent
section N
suivant
Exercice A.1.27
En raisonnant par double implication, montrer que
(x IR; ax 2 + bx + c = 0) (a = 0, b = 0, c = 0).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
62
pr
ecedent
section N
suivant
Exercice A.1.28
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.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
63
pr
ecedent
section N
suivant
Exercice A.1.29
Soient a et b deux nombres rels tels que a < b, montrer que : c IR, a < c < b. La dmonstration sera
"constructive", cest--dire que pour dmontrer lexistence dun tel c, vous allez en donner un explicitement.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
64
pr
ecedent
section N
suivant
Exercice A.1.30
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
(P Q) (A P AQ )
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
65
pr
ecedent
section N
suivant
Exercice A.1.31
Montrer par double implication que
x E , ((P (x) ou Q(x)) (a E , P (a)) ou (b E , Q(b))
La double implication signifie que pour dmontrer que deux propositions sont quivalentes on dmontre
que lune implique lautre et rciproquement.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
66
pr
ecedent
section N
suivant
Exercice A.1.32
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.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
67
pr
ecedent
section N
suivant
Exercice A.1.33
Montrer que la proposition x IR, y IR,, x + y = 0 est vraie, alors que la proposition y IR, x
IR, x + y = 0 est fausse.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
68
pr
ecedent
section N
suivant
Exercice A.1.34
Soient l IR 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, o dsigne un rel :
> 0, N , n N |u n l |
que lon peut crire
> 0, N , P (n, )
En vous aidant dun graphique, interprtez cette proposition, puis donner sa ngation en prcisant ce
quest non P (n, ).
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
69
pr
ecedent
section N
Exercice A.1.35
Soit E = ZZ ZZ et R = {(p, q), (p 0 , q 0 )) E E | pq 0 = p 0 q}, montrer que lon dfinit ainsi une relation
dquivalence.
Solution
Sommaire
Concepts
Exemples
Exercices
Documents
70
section pr
ecedente
chapitre N
A.2 Exercices de TD
A.2.1
A.2.2
A.2.3
A.2.4
A.2.5
A.2.6
A.2.7
A.2.8
A.2.9
A.2.10
A.2.11
A.2.12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Les tests en informatique : UV de branche, NF04,... .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
72
73
74
75
76
77
78
79
80
81
82
83
Sommaire
Concepts
Exemples
Exercices
Documents
71
section N
suivant
Exercice A.2.1
crire la ngation des propositions suivantes : (on utilisera les quantificateurs)
1. Pour tout x dans IR, f (x) 2 et g (x) = 0.
2. Quel que soit n dans ZZ, n 0 ou n > 0.
3. Il existe au moins un x dans IR tel que e x > 1.
4. Il existe un unique x dans IR 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.
Question 4
Question 5
Aide 1
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
72
pr
ecedent
section N
suivant
Exercice A.2.2
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 ?
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
73
pr
ecedent
section N
suivant
Exercice A.2.3
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. crire la contrapose de cette proposition.
3. crire la ngation de la contrapose.
4. Comparer les deux ngations obtenues en 1) et 3).
Question 1
Question 2
Aide 1
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
74
pr
ecedent
section N
suivant
Exercice A.2.4
P , Q et R tant trois assertions quelconques :
1. Dmontrer les lois de Morgan donnes ci dessous en utilisant une table de vrit :
non (P Q) = non P non Q et non (P Q) = non P non Q
2. Dmontrer que :
(a) (P Q) R = (P R) (Q R)
(b) (P Q) R = (P R) (Q R)
(c) P (P Q) = P = P (P Q)
Connues sous le nom de lois de Boole
Sommaire
Concepts
Exemples
Exercices
Documents
75
pr
ecedent
section N
suivant
Exercice A.2.5
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).
Question 1
Question 2
Aide 1
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
76
pr
ecedent
section N
suivant
Exercice A.2.6
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).
Question 1
Question 2
Aide 1 Aide 2
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
77
pr
ecedent
section N
suivant
Exercice A.2.7
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 .
2. On pose :
A4B = (A \ B ) (B \ A)
Montrer que (A4B ) C = (A C )4(B C ).
Question 1
Question 2
Aide 1
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
78
pr
ecedent
section N
suivant
Exercice A.2.8
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 .
Sommaire
Concepts
Exemples
Exercices
Documents
79
pr
ecedent
section N
suivant
Exercice A.2.9
Soient f , g deux fonctions de IR dans IR. Traduire en termes de quantificateurs les expressions suivantes :
1. f est majore ;
2. f est borne ;
3. f est paire ;
4. f est impaire ;
5. f ne sannule jamais ;
6. f est priodique ;
7. f est croissante ;
8. f est strictement dcroissante ;
9. f nest pas la fonction nulle ;
10. f na jamais les mmes valeurs en deux points distincts ;
11. f atteint toutes les valeurs de IN ;
12. f est infrieure g sur IR ;
13. f nest pas infrieure g .
Sommaire
Concepts
Exemples
Exercices
Documents
80
pr
ecedent
section N
suivant
Exercice A.2.10
Les propositions suivantes sont-elles vraies ou fausses ?
1. x IR, y IR; x + y = 0
2. y IR, x IR; x + y = 0
3. x IR, y IR; x y = 1
4. y IR, x IR; x y = 1
5. y IR, x IR; x + y = x
Question 2
Question 3
Question 4
Aide 1
Aide 1
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
81
pr
ecedent
section N
suivant
Exercice A.2.11
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 IR dans IR. Exprimer la ngation des propositions suivantes :
(a) x IR, f (x) 2
(b) x 2, f (x) 2
(c) x 2, f (x) 2
(d) !x IR, f (x) = 2
Quels sont les liens logiques entre ces propositions ?
Question 1c
Question 2b
Question 2d
Aide 1
Aide 1
Aide 1
Sommaire
Concepts
Exemples
Exercices
Documents
82
pr
ecedent
section N
Sommaire
Concepts
Exemples
Exercices
Documents
pr
ecedent
section N
2. crire sa contrapose.
3. crire sa ngation.
4. Peut-on expliquer par lune ou lautre des deux critures prcdentes la non ralisation de la tche
T?
Exercice A.2.12
Les tests en
informatique :
UV de branche,
NF04,...
Quand serait ralise la tche T si on changeait le et en ou dans la condition ? Rpondre aux mmes
questions.
Sommaire
Concepts
Exemples
Exercices
Documents
84
pr
ecedent
suivant
Annexe B
Exemples
B.1
Operations logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
Sommaire
Concepts
Exemples
Exercices
Documents
85
chapitre N
B.1 Op
erations logiques
B.1.1
B.1.2
B.1.3
B.1.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
88
89
90
Sommaire
Concepts
Exemples
Exercices
Documents
86
section N
suivant
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).
Sommaire
Concepts
Exemples
Exercices
Documents
87
pr
ecedent
section N
suivant
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.
Sommaire
Concepts
Exemples
Exercices
Documents
88
pr
ecedent
section N
suivant
Exemple B.1.3
P : le ciel midi est sans nuage Q : le soleil brille. P est une condition suffisante de Q mais nest pas
une condition ncessaire (un nuage, bien plac dans le ciel, nempche pas le soleil de briller). Par contre
Q est une condition ncessaire de P , en effet, midi, pour que le ciel soit sans nuage il faut ncessairement
que le soleil brille (mais ce nest pas suffisant).
Sommaire
Concepts
Exemples
Exercices
Documents
89
pr
ecedent
section N
Exemple B.1.4
"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.
Sommaire
Concepts
Exemples
Exercices
Documents
90
pr
ecedent
Annexe C
Documents
C.1
C.2
Tables de verite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
Classes dequivalence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
Sommaire
Concepts
Exemples
Exercices
Documents
91
chapitre N
suivant
Q
V
V
F
F
o lon envisage tous les cas de figures possibles : P et Q sont vraies en mme temps, P est vraie et Q est
fausse ... en crivant la valeur logique que prend R, dans la colonne qui lui correspond, pour chacun de ces
cas de figure. Ce tableau est une table de vrit de R.
Par exemple si R = (P ou Q), sa table de vrit scrit :
P
V
F
V
F
Q
V
V
F
F
R
V
V
V
F
Sommaire
Concepts
Exemples
Exercices
Documents
92
pr
ecedent
chapitre N
q 6= 0 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 lensemble quotient de ZZ ZZ par la relation dquivalence prcdente. Un lment de Q, qui est
appel nombre rationnel, est donc la classe dquivalence dun couple (p, q), q 6= 0 et on le note, par abus
p
de langage, q .
Sommaire
Concepts
Exemples
Exercices
Documents
93
Le gras indique un grain o le concept est dfini ; litalique indique un renvoi un exercice ou un exemple, le
gras italique un document, et le romain un grain o le
concept est mentionn.
Propositions - Axiomes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
R
Raisonnement par contrapose . . . . . . . . . . . . . . . . . . 14
94
Sommaire
Concepts
Exemples
Exercices
Documents
S
Sous-ensemble , ensemble vide . . . . . . . . . . . . . . . . . . 18
Sommaire
Concepts
Exemples
Exercices
Documents
95
Retour `a lexercice N
La proposition (P ou Q) est vraie pour tout n IN, la proposition (P ou Q) est fausse si n est un rel non entier.
Retour `a lexercice N
La proposition (P ou Q) est vraie, quel que soit x dans les deux premiers cas.Elle est fausse dans le troisime, pour x = 0 et vraie
pour x 6= 0.
Retour `a lexercice N
(P ou Q)ou R est vraie si et seulement si (P ou Q) est vraie ou R est vraie, cest dire si et seulement si P est vraie ou Q est vraie ou
R est vraie. Le rsultat est le mme pour la deuxime proposition.
Retour `a lexercice N
Daprs la dfinition, si (P ou Q) est vraie et si P est fausse alors Q est ncessairement vraie. En effet si Q tait fausse, puisque P est
fausse alors la proposition (P ou Q) serait fausse !
Pour la fonction f 1 , la proposition P est fausse, donc la proposition Q est vraie.
Pour la fonction f 2 , la proposition P est vraie, on ne peut donc pas conclure sur la proposition Q (et vous quen pensez-vous ?).
Retour `a lexercice N
Retour `a lexercice N
La proposition (P et Q) snonce x = 0.
Retour `a lexercice N
non (P et Q) est vraie si et seulement si (P et Q) est fausse, cest--dire si et seulement si lune des deux propositions est fausse,
soit (non P ) ou (non Q) est vraie.
Si lon appelle R la proposition (non P ) et S la proposition (non Q) on peut alors appliquer le rsultat prcdent, soit non (R
et S) est identique (non R) ou (non S), ou en prenant la ngation (R et S) est identique non ((non R) ou (non S)). Si lon
revient aux propositions P et Q, cela scrit (non P ) et (non Q) est identique non (P ou Q).
Retour `a lexercice N
(P et Q) et R est vraie si et seulement si (P et Q) est vraie et R est vraie, cest dire si et seulement si P est vraie et Q est vraie et R est
vraie. Le rsultat est le mme pour la deuxime proposition.
Retour `a lexercice N
Par dfinition, soit P est fausse et P Q est vraie, soit P est vraie et comme Q est suppose vraie, P Q est vraie. Ainsi 3 > 0
10 > 0 est une implication vraie !
Retour `a lexercice N
P nest pas une condition ncessaire de Q car Q nimplique pas P puisquune fonction peut tre croissante sans tre drivable. Ceci
signifie aussi que Q nest pas une condition suffisante de P .
Par contre P Q ce qui veut dire que Q est une condition ncessaire de P ou que P est une condition suffisante de Q.
Retour `a lexercice N
Retour `a lexercice N
De manire vidente (non Q non P ) scrit (non (non Q) ou (non P )) ce qui est identique ((non P ) ou Q).
Retour `a lexercice N
P est vraie implique (P ou Q) est vraie. Rciproquement si (P ou Q) est vraie, puisque Q est fausse, alors P est vraie. Par
exemple
n est pair n est pair ou (10 est impair).
En utilisant le fait que P Q scrit (non P ) ou Q et le fait que non P (non P ) ou (non R) puisque R est vraie, on a
(P Q) ({( non P ) ou Q)} {( ( non P ) ou ( non R)} ou Q)
et comme
( ( non P ) ou (nonR) non (P et R)
on arrive
{non (P et R)} ou Q,
soit
(P et R) Q.
Par exemple,
le triangle T est isocle T a deux cts de mme longueur
est identique
(le triangle T est isocle) et (un triangle a trois cts) T a deux cts de mme longueur
Retour `a lexercice N
Supposons que n soit un entier pair, alors n admet 2 pour diviseur qui est aussi un diviseur de 6 et donc n nest pas premier avec 6.
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
A B = {0} si la droite nest pas dans le plan et A B = B si la droite est dans le plan.
A B est lensemble des points qui sont soit dans le plan soit sur la droite si la droite nest pas dans le plan, et A B = A si la
droite est dans le plan.
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Les parties de E sont : ;, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, E.
Retour `a lexercice N
soit de
k1 n1(k1) k1
b C n1
a
b
.
p
Retour `a lexercice N
En effet le couple (1, 1 + i ) IR C mais il nappartient pas C IR puisque 1 + i nest pas un nombre rel.
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
La deuxime implique la premire car soit tout lment de E vrifie la proposition P et donc (P ou Q), soit tout lment de E vrifie
la proposition Q et donc (P ou Q).
Par contre si tout lment de E vrifie la proposition (P ou Q) cela nentrane pas que tous les lments vrifient P ou que tous
les lments vrifient Q. Par exemple soit E = IR et soit P (x) la proposition x 0 et Q(x) la proposition x < 0, alors tout nombre
rel est soit positif ou nul, soit ngatif, mais cela ne veut pas dire que tous les rels sont positifs ou nuls ou que tous les rels sont
ngatifs.
Retour `a lexercice N
Retour `a lexercice N
Il ne faut pas partir de lhypothse directement, mais de ce que lon demande de dmontrer. Pour montrer que A P AQ , on prend
un lment quelconque de A P et on dmontre quil est dans AQ . En effet, si x A P , alors P (x) est vraie et donc Q(x) est vraie (P Q)
ce qui implique que x AQ .
Faire la rciproque de la mme manire.
Retour `a lexercice N
Pour montrer limplication , on appelle c llment de E qui vrifie (P ou Q). Ceci signifie que c vrifie P ou c vrifie Q de sorte
que la proposition de droite est vrifie. La rciproque se fait aussi simplement.
Retour `a lexercice N
Soit c llment qui vrifie (P et Q), ceci signifie que c vrifie P et c vrifie Q de sorte que la proposition de droite est vrifie. Par
contre la rciproque nest pas vraie car il ny a aucune raison pour que "a = b" ! Par exemple si E = IR, P est la proposition x > 0 et Q
est la proposition x < 0, alors il existe au moins un rel positif, il existe au moins un rel ngatif, mais il ny a aucun rel qui soit la
fois ngatif et positif.
Retour `a lexercice N
En effet on a x IR, y = x tel que x + y = 0. Par contre il nexiste pas de nombre rel tel que, si on lui rajoute nimporte quel rel,
le rsultat soit toujours 0.
Retour `a lexercice N
La dfinition signifie que quel que soit lintervalle centr en l sur la droite relle (aussi petit soit-il !), tous les lments de la suite sont
dans cet intervalle partir dun certain rang. Cest en ralit la dfinition de la limite dune suite. La ngation de cette proposition
est
, N , non P (n, )
Et la proposition non P (n, ) scrit n N et (on dit "tel que") |u n l | > .
Retour `a lexercice N
Les proprits de la relation dquivalence sont trivialement vrifies. Si tel nest pas le cas, poser des questions !
Par exemple, la relation est rflexive car pq=pq . . .
Retour `a lexercice N
Attention la ngation de "il existe un unique lment vrifiant P " comporte deux cas possibles.
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
La contrapose dune implication est aussi une implication, mais attention lordre des propositions. Voir le paragraphe : Raisonnement par contrapose.
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
On peut aussi raisonner par double implication comme dans la question prcdente ou on peut passer au complmentaire. Quel
est le complmentaire de A B ? Voir le paragraphe : Complmentaire dun ensemble.
Retour `a lexercice N
Retour `a lexercice N
Remplacer 4 par sa dfinition et utiliser les proprits de lintersection et de la runion. Voir le paragraphe : Ensembles - intersection
et union.
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Retour `a lexercice N
Attention la ngation de "il existe un unique lment vrifiant P " comporte deux cas possibles.
Retour `a lexercice N
Retour `a lexercice N
Attention la ngation de "il existe un unique lment vrifiant P " comporte deux cas possibles.
Retour `a lexercice N