Biblioth`eque d’exercices Corrections
L1 Feuille n◦2
Logique, ensembles, raisonnements
Correction 1 1. (a) est fausse. Car sa n´egation qui est ∀x∈R∃y∈Rx+y60 est
vraie. ´
Etant donn´e x∈Ril existe toujours un y∈Rtel que x+y60, par exemple on
peut prendre y=−(x+ 1) et alors x+y=x−x−1 = −160.
2. (b) est vraie, pour un xdonn´e, on peut prendre (par exemple) y=−x+ 1 et alors
x+y= 1 >0. La n´egation de (b) est ∃x∈R∀y∈Rx+y60.
3. (c) : ∀x∈R∀y∈Rx+y > 0 est fausse, par exemple x=−1, y= 0. La n´egation est
∃x∈R∃y∈Rx+y60.
4. (d) est vraie, on peut prendre x=−1. La n´egation est : ∀x∈R∃y∈Ry26x.
Correction 2 Dans ce corrig´e, nous donnons une justification, ce qui n’´etait pas demand´e.
1. Cette assertion se d´ecompose de la mani`ere suivante : ( Pour tout x∈R) (f(x)61). La
n´egation de “( Pour tout x∈R)” est “Il existe x∈R” et la n´egation de “(f(x)61)” est
f(x)>1. Donc la n´egation de l’assertion compl`ete est : “Il existe x∈R, f(x)>1.
2. Rappelons comment se traduit l’assertion “L’application fest croissante” : “pour tout
couple de r´eels (x1, x2), si x16x2alors f(x1)6f(x2). Cela se d´ecompose en : “(pour
tout couple de r´eels x1et x2) (x16x2implique f(x1)6f(x2))”. La n´egation de la
premi`ere partie est : “(il existe un couple de r´eels (x1, x2))” et la n´egation de la deuxi`eme
partie est : “(x16x2et f(x1)> f(x2))”. Donc la n´egation de l’assertion compl`ete est :
“Il existe x1∈Ret x2∈Rtels que x16x2et f(x1)> f(x2)”.
3. La n´egation est : l’application fn’est pas croissante ou n’est pas positive. On a d´ej`a traduit
“l’application fn’est pas croissante”, traduisons “l’application fn’est pas positive” : “il
existe x∈R, f(x)<0”. Donc la n´egation de l’assertion compl`ete est : “ Il existe x1∈R
et x2∈Rtels que x1< x2et f(x1)>f(x2), ou il existe x∈R, f(x)<0”.
4. Cette assertion se d´ecompose de la mani`ere suivante : “(Il existe x∈R+) (f(x)60)”.
La n´egation de la premi`ere partie est : “(pour tout x∈R+), et celle de la seconde
est :“(f(x)>0)”. Donc la n´egation de l’assertion compl`ete est : “ Pour tout x∈R+,
f(x)>0”.
5. Cette assertion se d´ecompose de la mani`ere suivante : “(∃x∈R)(∀y∈R)(x < y ⇒
f(x)> f(y))”. La n´egation de la premi`ere partie est “(∀x∈R), celle de la seconde
est (∃y∈R), et celle de la troisi`eme est (x < y et f(x)6f(y)). Donc la n´egation de
l’assertion compl`ete est : “ ∀x∈R,∃y∈R, x < y et f(x)6f(y)”.
Correction 3 1. ⇐
2. ⇔
3. ⇒
Correction 4 1. Cette proposition est vraie. En effet soit ε > 0, d´efinissons M1= (2
ε,0) ∈
F1et M2= (2
ε,ε
2)∈F2, alors M1M2=ε
2< ε. Ceci ´etant vrai quelque soit ε > 0 la
proposition est donc d´emontr´ee.
1