IPEP Année:2023-2024
Sabour Khalid La Logique Niveau: 1er Bac SM
Exercice 1 :
x y
∀(x, y) ∈ R2 , = 2 ⇔ xy = 1 ou x = y
x2 + x + 1 y +y+1
Exercice 2 :
Montrer que : p √
∀x ∈ [−2, 2], 4 − x2 − x ≤ 2 2
Exercice 3 :
Montrer que :
√ √
1) ∀x ∈ 1, +∞[) ∀y ∈ 4, +∞[) : x − 1 + 2 y − 4 = x+y
2 ⇔ x = 2 et y = 8
√ p
2) ∀(x, y) ∈ R2 : x + y = 0 ⇔ x2 + 1 + x y2 + 1 + y = 1
3) ∀(a, b) ∈ R2 : |a + b| ≤ |1 + ab| ⇔ a2 − 1 b2 − 1 ≥ 0
√ p
4) ∀(x, y) ∈ R2 : x2 + 1 + y 2 + 1 = 2 ⇔ x = y = 0
5) ∀(x, y, z) ∈ R3 : x + y + z = 0 ⇔ x3 + y3 + z3 = 3xyz
Exercice 4 :
Soient x et y deux réels strictement positifs.
Montrer que : x < y ⇔ yx < 2x+5y5x+2y < x
y
Page 1
IPEP Année:2023-2024
Sabour Khalid La Logique Niveau: 1er Bac SM
Exercice 5 :
Déterminer la valeur de vérité des propositions suivantes :
1) ∀x ∈ R : x ≥ 1
√
2) ∀x ∈ R+ : x + x ≥ 2
3) (∀x ∈ R)(∀y ∈ R) : 2x − 4y 6= 5
4) ∀x ∈ R∗ : x + x1 ≥ 2
√ √
5) (∀x ∈ R+ ) (∀y ∈ R+ ) : x + y ≥ x + y
h
2x
6) ∀x ∈]0, 1 : x2 (1−x 2) < 1
7) (∀α ∈]0, 1[)(∀β ∈]0, 1[) : α1 + β1 < 1 − α · β
8) la fonction définie sur R par f (x) = x3 + x2 est une fonction impaire
q √ q √ 2
3+ 5
π
9) 2 ∈ Q 10) 2 − 3−2 5 =1
Raisonnement par contraposé
Exercice 6 :
1). Soient a, b et c des nombres réels :
Montrer que : a + b > 2c ⇒ a > c ou b > c.
2). Montrer que : ∀(x, y) ∈ R2∗ : y 6= − 34 x ⇒ x−y
x+y 6= 7
√
3). Montrer que : (∀x ∈ R ) : x 6= 4 ⇒ x − 1 6= x4 .
+
2 2
4). Montrer que : (∀x ∈ R) : x 6= 1 ou y 6= 1 ⇒ x +y 2 6= x + y − 1.
Raisonnement par l’absurde
Exercice 7 : √ 2
1). Montrer que : (∀x ∈ R∗ ) : 1 + x2 6= 1 + x2 .
2). Montrer que : (∀x ∈ R) : x2 + 1 6= 2x − 1.
3). Soit a ∈ N∗ , montrer que n2 + 1 n’est pas un carré parfait.
4). Soit f une fonction strictement croissante sur un intervalle I et soient a et b deux éléments de I, tels que :
f (a) = f (b), montrer que a = b.
Raisonnement par disjonction des cas
Exercice 8 :
2
1). Montrer que : (∀x ∈ R) : |x| ≤ x 2+1 .
2). Montrer que :
(∀x ∈ R) : x = 2 ou y = 2 ⇒ xy + 4 = 2y + 2x.
3). Résoudre les équations suivantes :
(a). |x − 2| = 2x + 4.
(b). x2 + 2|x − 1| − 1 = 0.
(c). |x − 2| + |x − 1| + |x| = 3.
4). Montrer que : (∀x ∈ R) : |x − 1| < x2 + x + 3.
Exercice 9 :
1. Montrer que (∀x ∈ R) : |x − 2| ≤ 1 ⇒ 0 < 2x+3 x+2 < 5
9
√
2. Montrer que (∀a, b ∈ R) : a2 + b2 = 1 ⇒ |a + b| ≤ 2
3. Soient x et y deux réels tels que : |x| ≤ 12 et |y| ≤ 1
Montrer que 4x2 y − y − x ≤ 17 16
4. A - M q ∀(a, b) ∈ R2 : a2 + b2 = 0 ⇒ a = 0 et b = 0
√ √
B - Soit x ∈ R+ et y ∈ R+ , montrer que :x + y + 2 = 2 x + 2 y ⇒ x = y = 1
5. A-Montrer que (∀x ∈ R∗+ ) x + x1 ≥ 2
B - Soient x et p deux réels strictement positifs. montrer que x5 − x3 + x = p ⇒ x6 ≥ 2p − 1
6. Soit x ∈ R, mq : |x − 1| ≤ 21 ⇔ 25 ≤ x+11
≤ 23
√ √ 3
7. Soit x ∈ R, mq(x 6= 5 et x 6= − 5) ⇔ √4+x 2
6= 1
Page 2
