Vous êtes sur la page 1sur 3

Lycée qualifiant : Série N° : 1 Pr :Maryem Benjamaa

Lala maryem

Exercice 1 : Exercice 5 :
Donner la négation et la valeur de vérité de Soit x et y deux réels. Montrer que
chacune des propositions suivantes : 1 1 1 7
(𝑥 > 2 𝑒𝑡 𝑦 ≥ ) ⟹ 0 < + <
G : «(∀𝐧 ∈ ℕ) ∶ √𝐧 ∈ ℕ» 3 𝑥 𝑦 2
H : «(∀𝐱 ∈ ℝ)(∃𝐲 ∈ ℝ) ∶ 𝐲 − 𝐱 > 𝟎 » Montrer que pour tout réel positif𝑥 :
I : «(∃! 𝐱 ∈ ℝ): 𝟐𝐱 + 𝟏 = 𝟎»
J : «(∃! 𝐱 ∈ ℝ) ∶ 𝐱 𝟐 = 𝟐» 𝑥 + 1 ≥ 2√𝑥
𝐱
K : «(∃𝐱 ∈ ℤ) ∶ 𝟒 ∈ ℤ» Montrer que pour tout (𝑎; 𝑏) ∈ ℝ2 :
L : «(∀𝐱 ∈ ℝ)(∃𝐲 ∈ ℝ) ∶ 𝐲 𝟐 = 𝐱» 𝑎2 + 𝑏2 = 1 ⟹ |𝑎 + 𝑏| ≤ √2
Exercice 6 :
Exercice 2 : Montrer que le nombre 𝑛(𝑛 + 1)(𝑛 + 2) est
Ecrire à l’aide des quantificateurs les divisible par 6 pour tout entier n.
propositions suivantes : Résoudre dans ℝ :
1. Le carré de tout réel est positif. |7𝑥 + 1| + |𝑥 − 1| = 5
2. Certains réels sont strictement Résoudre dans ℝ :
supérieurs à leur carré. 𝑥 2 − 3|𝑥 − 2| − 4 = 0
3. Aucun entier n'est supérieur à tous les Exercice 7 :
autres. À l’aide d’un raisonnement par contraposée,
4. Il existe un entier multiple de tous les établir les implications suivantes :
autres. 1.
5. Entre deux réels distincts, il existe un
rationnel.
2.
Exercice 3 :
Soient P, Q et R trois propositions
Montrer que les propositions suivantes sont
Exercice 8 :
des lois logiques : À l’aide d’un raisonnement par l’absurde,
 (𝑃 ⟹ 𝑄) ⟹ [(𝑄 ⟹ 𝑅) ⟹ (𝑃 ⟹ 𝑅)] établir :
1. Montrer que √2 ∉ ℚ
 (𝑃 ⟹ 𝑄) ⟹ [(𝑃 𝑒𝑡 𝑅) ⟹ (𝑄 𝑒𝑡 𝑅)]
2. Montrer que √3 ∉ ℚ
 (𝑃 ⟺ 𝑄) ⟺ (𝑃 𝑒𝑡 𝑄) 𝑜𝑢 (𝑃 𝑒𝑡 𝑄) 3. Montrer que √2 + √3 ∉ ℚ
 𝑃 ⟹ (𝑃 ⟹ 𝑄)
Exercice 9 :
Exercice 4 : Montrer par récurrence que :
 Montrer que : «(∀𝑥 ∈ ℝ): 2𝑥 − 4 > 0» est

une proposition fausse  (∀𝑛 ∈ ℕ) 7 divise 11𝑛 − 22𝑛
 Soient a,b,c et d des nombres réels.
 (∀𝑛 ≥ 4)2𝑛 ≥ 𝑛2
Montrer que les propositions suivantes
 (∀𝑛 ∈ ℕ∗ )1 + 5 + 9 + ⋯ + (4𝑛 + 1) =
sont fausses :
(𝑛 + 1)(2𝑛 + 1)
P1 ∶ « 𝑎 ≠ 𝑏 ⟹ 𝑎2 ≠ 𝑏2 »
P2 ∶ « 𝑎 ≠ 𝑏 𝑒𝑡 𝑐 ≠ 𝑑 ⟹ 𝑎 + 𝑐 ≠ 𝑏 + 𝑑»
P3 ∶ « 𝑎 ≠ 𝑏 𝑒𝑡 𝑐 ≠ 𝑑 ⟹ 𝑎𝑐 ≠ 𝑏𝑑»

Exercice 14:
Exercice 10 :

Exercice 11:
Exercice 15:

Exercice 12:

Exercice 13:

Vous aimerez peut-être aussi