EXERCICES SUR LA LOGIQUE

Exercice 1
Montrer que
∀ y > − 4 , ∃! x > 2 / x − 4 x = y
2

Exercice 2
2x
1- Montrer que ∀ x∈ IR : ≤1
x +1
2

2x
2- En déduire que ∃ y ∈ IR / ∀ x∈ IR : ≤y
x +1
2

Exercice 3
1 – a , Vérifier que ∀ x∈ IR : 2 x 2 + x − 3 = ( x − 1) ( 2 x + 3)
1
b , Montrer que x −1 <  2 x2 + x − 3 < 6 x − 1
2
(
2 – En déduire que ∀ ε > 0, ∃ α > 0 / ∀ x∈ IR , x − 1 < α  2 x 2 + x − 3 < ε )
Exercice 4
Montrer que
∀ x >0 , ∀ y >0 : x +1 − x < y +1 − y ⇔ y < x

Exercice 5
2
Montrer par l’absurde que ∀ n∈ IN : n + 2 ∉ IN

Exercice 6
Soit x et y deux réels
Montrer par contraposition que x + y > 1+ x y  x > 1 ou y > 1

Exercice 7
1 – Montrer par contraposée que
∀ n ∈ ℤ : n est pair  n est pair
2

2 - Montrer par l’absurde que 2 ∉Q

Exercice 8
Montrer par disjonction des cas que ∀ x∈IR : x − x + 2 − x −
2
( ) >0
1
2
Exercice 9
1- Déterminer le signe de x − 7 x + 10 pour tout réel x
2

2-Résoudre dans IR , l’inéquation x −1 > 3− x

Exercice 10
1 - Montrer par disjonction des cas que
∀ a∈IN : ∃n∈IN / a = 3 n ou a = 3 n +1
2 2

2 – Montrer par l’absurde que ∀ n∈ IN : 3n + 2 ∉ IN

Exercice 11
Montrer par récurrence
n. ( n + 1) . ( n + 2)
∀ n∈ IN :1.2 + 2.3 + ........... + n. ( n + 1) =
3
∀ n∈ IN : 2n < 3 n

∀ n∈ IN * : 5n + 2.3n−1 + 1 est divisible par 4

Exercice 12
1 – Vérifier que ∀ n ∈ IN : n + 6 n + 9 n + 4 = ( n +1 ) ( n+4 )
3 2 2

2 – Montrer par récurrence que

1 1 1 n ( n + 3)
∀ n∈ IN * : + + ................ + =
1.2.3 2.3.4 n ( n + 1)( n + 2 ) 4. ( n + 1)( n + 2 )

Exercice 13
3
 1
1 – a , Vérifier que ∀ n ≥ 4 :  1+  < 3
 n
b , En déduire que ∀ n ≥ 4 : ( n +1 ) < 3 n3
3

2 – Montrer par récurrence que ∀ n ≥ 4 : n3 < 3n

3 – En déduire dans IN , les solutions de l’équation ( E ) : n3 = 3n
4 - Montrer par l’absurde que ∀ M > 0 : ∃ n∈ IN / 3n ≥ M