UNIVERSIT´ E PIERRE ET MARIE CURE Ann´ee 2007/2008
MIME 22 LM 125
Groupe 22.4
Feuille d’exercices 1
Quelques points de logique
Exercice 1 Donner la n´ egation des affirmations suivantes : 1. Tous les chats sont blancs.
2. Au moins un chat est blanc avec des yeux verts.
3. ∀x ∈ R , ∃n ∈ Z : x < n.
Exercice 2 Traduire en langage “courant” l’expression :
∀x ∈ R , ∃n ∈ Z : n ≤ x < n + 1.
Exercice 3 Ecrire ` ´ a l’aide de quantificateurs la phrase “tout nombre entier est pair ou impair”.
Exercice 4 Soit f une application R → R . Traduire en “langage courant” puis nier la phrase suivante :
∀η ∈ R
∗+, ∀x ∈ R , ∃ε ∈ R
∗+, ∀y ∈ R : (|x − y| < ε ⇒ |f (x) − f (y)| ≤ η).
Exercice 5 Donner la contrapos´ ee des implications suivantes : 1. n est premier ⇒ n = 2 ou n est impair.
2. Si c’est une poule, elle pond des oeufs.
3. Si vous ne comprenez pas, posez une question.
4. Ce qui est rare est cher.
Raisonnement par r´ ecurrence
Exercice 6 Pour tout n ∈ N prouver l’in´ egalit´ e 2
n> n.
Exercice 7 Soit f : N → N une application strictement croissante. Montrer que f (n) ≥ n pour tout entier n ∈ N . Que dire lorsque f est surjective ?
Exercice 8 Montrer que pour tout n ∈ N
∗on a
n
X
k=1
k(k + 2) = 1
6 n(n + 1)(2n + 7)
et
nX
k=1
1
k(k + 1) = n n + 1 .
1
Exercice 9 Soit q ∈ R et q 6= 1. Montrer que pour n ∈ N on a
n
X
k=0