4CHAPITRE I. VOCABULAIRE DE THÉORIE DES ENSEMBLES
Exercice 6. Soient les quatre assertions suivantes :
(a)∃x∈R,∀y∈R, x +y > 0 ; (b)∀x∈R,∃y∈R, x +y > 0 ;
(c)∀x∈R,∀y∈R, x +y > 0 ; (d)∃x∈R,∀y∈R, y2> x.
(1) Les assertions a,b,c,dsont-elles vraies ou fausses ?
(2) Donner leur négation.
Exercice 7. Nier les assertions suivantes :
1) tout triangle rectangle possède un angle droit ;
2) dans toutes les écuries, tous les chevaux sont noirs ;
3) pour tout entier x, il existe un entier ytel que, pour tout entier z, la relation
z < x implique la relation z < x + 1 ;
4) ∀ε > 0,∃α > 0,|x−7/5|< α ⇒ |5x−7|< ε.
Exercice 8. Dire, en justifiant, si les phrases suivantes sont vraies ou fausses et écrire
leur négation :
1. (∀x∈R)(∃n∈N)/(x≤n).
2. (∃M∈R)/(∀n∈N)(|un| ≤ M).
3. (∀x∈R)(∀y∈R)(xy =yx).
4. (∀x∈R)(∃y∈R)/(yxy−1=x).
5. (∀ε > 0)(∃N∈N)/(∀n≥N)(|un|< ε).
Exercice 9. Soit f, g deux fonctions de Rdans R. Traduire en terme de quantifica-
teurs les expressions suivantes :
1. fest majorée ;
2. fest bornée ;
3. fest paire ;
4. fest impaire ;
5. fne s’annule jamais ;
6. fest périodique ;
7. fest croissante ;
8. fest strictement décroissante ;
9. fn’est pas la fonction nulle ;
10. fn’a jamais les mêmes valeurs en deux points distincts ;
11. fatteint toutes les valeurs de N;
12. fest inférieure à g;
13. fn’est pas inférieure à g.
Exercice 10. Montrer par récurrence :
1. ∀n∈N∗,1 + 2 + ··· +n=n(n+1)
2;
2. ∀n∈N∗,12+ 22+··· +n2=n(n+1)(2n+1)
6.