Royaume du Maroc Académie régionale de l’enseignement

Ministère de l’éducation nationale, et de la formation de Souss-Massa

De l’enseignement supérieur, de la formation Délégation Chtouka Ait Baha
Des cadres de la recherche scientifique Pr. M. Karam Ouharou

Série d’exercices N°2 – La logique mathématique formelle – Les techniques de Leibniz

1ère BAC S. Ex, SM et autres filières techniques

Exercice 1. Donner la négation de chacune des 3. Démontrer en utilisant des équivalences

propositions suivantes : successives que la proposition (R) est vraie :
(R): ⁡∀(𝑥, 𝑦) ∈ ℝ2+ ; 9𝑥 + 4𝑦 ≥ 12√𝑥𝑦
17 1 √3 3𝜋
(P): ( 5 ≥ 3,4) et ( = ) ; (Q): (sin⁡ 4 = 1,71) 4. Démontrer en utilisant la contraposée que la
√3 3
1 √3−1
proposition (S) est vraie :
ou (√3 < −2) ; (R): ( 3+1 = ) ⇒ (√3 − 3 𝑥−𝑦
√ 2 (S): ∀(𝑥, 𝑦) ∈ ℝ2 ; (𝑦 ≠ − 𝑥) ⇒ ( ≠ 7)
4 𝑥+𝑦
√2)2 = 1 5. Démontrer en utilisant le raisonnement par
17 1 √3
(S): ( 3 = 5,67) ⇔ ( = ) ; (T): (∀𝑥 ∈ ℝ); (𝑥 + récurrence que le nombre 7𝑛 − 2𝑛 est
√3 3
𝑦 ≤ 1) ⇒ (𝑥 2 + 𝑦 2 ≤ 2) ; (U): (∃𝑝 ∈ ℕ); (3𝑝 + divisible par 5 pour tout entier naturel 𝑛.
√𝑝 = 5) ⇒ (𝑝 > 2) Exercice 5.
Exercice 2. Ecrire chacune des propositions 1 1 1 7
1. Montrer que : 𝑥 > 2 et 𝑦 ≥ 3 ⟹ 0 ≤ 𝑥 + 𝑦 < 2
suivantes en utilisant les symboles logiques :
2. Montrer que :
(P) : « L'équation 3𝑥 2 − 2𝑥 − 5 = 0 admet une ∀𝑥 ∈ ℝ, |𝑥 − 1| ≤ 2 ⟹ |𝑥 2 + 𝑥 − 2| ≤ 10.
solution dans l'ensemble des entiers naturels » 3. Montrer que :
(Q) : « L'inéquation x 2 − 3x − 11 ≤ 0 n'admet pas 2𝑥 + 3
∀𝑥 ∈ ℝ, |𝑥 − 2| ≤ 1 ⟹ | |≤3
de solution dans l'ensemble des nombres réels » 𝑥+2
(R) : « Tout entier naturel multiple de 12 est divisible
par 3 ». Exercice 6.

Exercice 3. 1. Montrer que :

∀(𝑥, 𝑦) ∈ ℝ; 𝑥 2 + 𝑦 2 = 0 ⟺ 𝑥 = 𝑦
1. Montrer, à l'aide d'un contre-exemple, que la 1. Montrer que
𝑥+𝑦+2
proposition suivant est fausse : ∀(𝑥, 𝑦) ∈ ([0, +∞[)2 , √𝑥 + √𝑦 = 2 ⟺ 𝑥 =
3
(P): ⁡(∀𝑥 ∈]0,1[); <1 1 et 𝑦 = 1.
𝑥 (1 − 𝑥 2 ) 2. Montrer que :
2. Montrer, à l'aide des équivalences successives,
que la proposition suivante est vraie : ∀(𝑥, 𝑦) ∈ ℝ2 , (𝑥 + √𝑥 2 + 1)(𝑦 + √𝑦 2 + 1) =
∀(𝑥, 𝑦) ∈ ℝ2+ ; 𝑥 + 𝑦 ≥ 2√𝑥𝑦 1 ⟺ 𝑥 + 𝑦 = 0.
3. Montrer, à l'aide de la contraposée, que la 3. Montrer que :
𝑎+𝑏
proposition suivante est vraie : ∀(𝑎, 𝑏) ∈ ([0, +∞[)2 , √𝑎 + √𝑏 − 1 = 2 ⟺
𝑎 = 𝑏 = 1.
∀(𝑥, 𝑦) ∈ ℝ2 ; (𝑥𝑦 ≠ 1 et 𝑥 ≠ 𝑦) 4. Montrer que :
𝑥 𝑦
⇒( 2 ≠ 2 ) ∀𝑥 ∈]0, +∞[, √2𝑥 + 2 − √𝑥 = 1 ⟺ 𝑥 = 1
𝑥 +𝑥+1 𝑦 +𝑦+1
5. Montrer que :
4. Montrer par récurrence que : ∀𝑛 ∈ ℕ; 1 × 2 + 2 × ∀(𝑎, 𝑏) ∈ ([0, +∞[)2 , √𝑎 + 1 − √𝑏 + 1
𝑛(𝑛+1)(𝑛+1) < √𝑎 − √𝑏 ⟺ 𝑏 < 𝑎
3 + ⋯ . . +𝑛(𝑛 + 1) = 3 6. Soient 𝑥 et 𝑦 deux réels strictement positifs.
Montrer que:
Exercice 4.
𝑥 2𝑥 + 5𝑦 𝑦
𝑥<𝑦⟺ < <
1. Démontrer par l'absurde que la proposition 𝑦 5𝑥 + 2𝑦 𝑥
suivante est fausse : (P): ⁡√3 + √5 < 2√2
2. Démontrer en utilisant un contre-exemple Exercice 7.
que la proposition suivante est fausse :
1. Montrer que :
(Q): ⁡(∀𝑥 ∈ ℝ); 𝑥 < 𝑥 2
∀(𝑥, 𝑦) ∈ ℝ2 , 𝑥 ≠ 𝑦 ⟹ (𝑥 + 1)(𝑦 − 1) ≠ (𝑥 −
1)(𝑦 + 1).

M. Karam Ouharou / La logique mathématique formelle / 1ère BAC S Ex – SM – ST / Page 1/2

Chapitre 1: La logique mathématique Karam Ouharou

2. Soit 𝑛 ∈ ℕ. Montrer que : 𝑛2 est un multiple de 2. Montrer que:

3 ⟹ 𝑛 est un multiple de 3 . ∀(𝑥, 𝑦) ∈ ℝ2 , √𝑥 2 + 1 + √𝑦 2 + 1 = 2 ⟺ 𝑥 = 𝑦 = 0
3. Montrer que : 3. Soient 𝑎 et 𝑏 deux réels non nuls. Montrer que :
∀𝑥 ∈ ℝ, √𝑥 4 + 3𝑥 2 + 1 ≥ 𝑥 2 + 1. 1 1 1
4. Montrer que : (𝑎 + ) = (𝑏 + ) ⟺ (𝑎 = 𝑏 ou 𝑎 = )
𝑎 𝑏 𝑏
∀(𝑎, 𝑏) ∈ ([0, +∞[)2 , 𝑎 + 𝑏 ≥ 2√𝑎𝑏
5. Montrer que : Exercice 12.
𝑎2 3𝑎 − 𝑏
∀(𝑎, 𝑏) ∈ (]0, +∞[)2 , ≥ On considère les deux assertions :
𝑎+𝑏 4

Exercice 8. 𝑃: (∀𝑥 ∈ ℝ+ ), 𝑥 ≥ 2√𝑥 − 1 et

1. Résoudre dans ℝ l'équation suivante : 𝑄: (∀𝑦 ∈ ℝ)(∃𝑥 ∈ ℝ), 𝑥𝑦 ≠ 𝑥.

(𝐸): |2𝑥 2 − 𝑥 − 6| − |𝑥 + 1| − 1 = 0.
2. Résoudre dans ℝ l'équation suivante : a) Donner la négation de 𝑃 et 𝑄.
b) Montrer que 𝑃 est vraie et 𝑄 est fausse.
(𝐸 ′ ): √3𝑥 + 4 = 𝑥
c) Donner la négation des assertions suivantes :
3. Résoudre dans ℝ les inéquations suivantes (𝐼1 ) et
(𝐼2 ) :
𝑅: (∀𝑥 ∈ ℝ)(∃𝑘 ∈ ℤ), 𝑘 ≤ 𝑥 < 𝑥 + 1 et 𝐹: ∀(𝛼, 𝛽)
(𝐼1 ): √𝑥 2 + 1 − 2𝑥 + 1 ≤ 0⁡; ⁡(𝐼2 ): √𝑥 − 1 ≥ 𝑥 − 7 ∈ ℝ2 , ⁡(𝛼 − 𝛽 > 1 ⟹ ∃𝑛 ∈ ℤ, 𝛼 < 𝑛
< 𝛽)
Exercice 9.
Exercice 13.
1. Montrer que: (∀𝑛 ≥ 5), 𝑛2 < 2𝑛 .
2. Montrer que : 1. Montrer que :
𝑛(𝑛+1)(2𝑛+1)
(∀𝑛 ∈ ℕ), ∑𝑛𝑘=1 𝑘 2 = . ∀(𝑎, 𝑏) ∈ (]0, +∞[)2 , 𝑎2 = 𝑏 + 1 ⟹
6
√𝑎−√𝑏+√𝑎+√𝑏
3. Montrer que : = 1.
(∀𝑎 ∈ ℝ∗ ∖ {−1}), (∀𝑛 ∈ ℕ), ∑2𝑛 𝑘 𝑘
𝑘=0 (−1) 𝑎 =
√2(𝑎+1)
𝑎 2𝑛+1 +1 2. Montrer par la contraposée que :
. 𝑛2 𝑛
𝑎+1
2𝑛+1 𝑛+2
(∀𝑛 ∈ ℕ), ∈ℕ⟹ ∈ ℕ.
4. Montrer que: (∀𝑛 ∈ ℕ),7 divise 3 +2 . 3 3
√𝑥 4
3. Soit 𝑥 ∈ ℝ+ , montrer que: 𝑥 2 −𝑥+1 ≤ 3 √𝑥.
Exercice 10. 4. Soit 𝑛 ∈ ℕ, montrer que :
√4𝑛2 + 5𝑛 + 3 ∉ ℕ.
1. Soient 𝑎, 𝑏, 𝑥 et 𝑦 des reels non nuls.
5. Résoudre dans ℝ l'inéquation:
Montrer que:
1 (𝐼): √𝑥 − 1 ≥ 𝑥 − 7.
𝑎𝑥 + 𝑏𝑦 = 1 ⟹ 2 ≤ 𝑎2 + 𝑏 2 6. Montrer que :
𝑥 + 𝑦2 3
(∀𝑥 ∈ ℝ), 𝑥 6 − 𝑥 5 + 𝑥 4 − 𝑥 3 + 𝑥 2 − 𝑥 + > 0.
2. Montrer que: ∀(𝑎, 𝑏) ∈ (10, +∞[)2 , ⁡𝑎2 = 𝑏 + 4
(Étudier : 𝑥 ≤ 0,0 < 𝑥 < 1 et 𝑥 ≥ 1 ).
√𝑎−√𝑏+√𝑎+√𝑏 7. Montrer que :
1⟹ =1
√2(𝑎+1)
3. Soient 𝑎, 𝑏 et 𝑐 des réels. (∀𝑛 ∈ ℕ∗ ), 1 + 3 + 5 + ⋯ + (2𝑛 + 1) = (𝑛 + 1)2 .
a) Vérifier que: (𝑎 + 𝑏)2 − (𝑎 − 𝑏)2 = 4𝑎𝑏.
b) Montrer que:
𝑐2
|𝑎𝑏| ≻ ⟹ |𝑎 − 𝑏| ≻ −𝑐 ou |𝑎 + 𝑏| ≻ 𝑐 Bon courage !
2
4. Montrer que:
−3 𝑥−𝑦
∀(𝑥, 𝑦) ∈ ℝ2∗ , ⁡𝑦 ≠ 𝑥⟹ ≠7
4 𝑥+𝑦

Exercice 11.

1. Montrer que:
∀(𝑎, 𝑏) ∈ ([0, +∞]2 , ⁡√𝑎 + 1 − √𝑏 + 1 < √𝑎 − √𝑏
⟺𝑎≻𝑏

M. Karam Ouharou / La logique mathématique formelle / 1ère BAC S Ex – SM – ST / Page 2/2