Notions de logique
Mathématiques Classe :1 bac SMF
Série 01
Exercice 1 Exercice 4
Determiner la valeur de vérité des propositions suivantes : Soient les quatre propositions suivantes :
1 (∀x ∈ R); x2 ⩾ 1 P : (∀y ∈ R∗ ) (∃x ∈ R); x2 − xy + y 2 = 0
p
2 (∀x ∈ R); x2 ⩾ x Q : (∀x ∈ R); 1 + x2 − |x| ≥ 0
3 (∃n ∈ N); 3n + 1 = 0 R : ∀x ∈ [1; +∞[); x2 ≥ 1 et x2 + 2x − 3 ≥ 0
1
4 (∃x ∈ R); x2 − 3x + 1 = 0 S : ∃x ∈ R ; x ≤ x ou 1 + < 0
+ 2
x
5 (∀x ∈ R)(∀y ∈ R); |x + y| = |x| + |y| 1 Les propositions P, Q, R et S sont-elles vraies ou fausses ?
√
6 (∀n ∈ N); 16n2 + 8n + 1 ∈ N 2 Donner leur négation.
7 (∀m ∈ R)(∃x ∈ R); x2 + mx + m − 1 = 0 Exercice 5
√
1 x ∈ R+ Montrer que : 1√
1+ x
=1− x⇒x=0
Exercice 2
2 Montrer que : ∀(a; b) ∈ R 2
: a2 + b2 = 0 ⇒ a = 0 et b = 0
Exprimer les propositions suivantes à l’aide des quantificateurs et
3 x ∈ R+ et y ∈ R+ Montrer que :
connecteurs logiques puis indiquer la valeur de vérité de chacune
√ √
x+y+2=2 x+2 y ⇒x=y =1
d’elles :
√
4 Montrer que : ∀(a; b) ∈ R2 : a2 + b2 = 1 ⇒ |a + b| ≤ 2
1 P1 : ń ll n’existe aucun rationnel solution de l’équation
5 Montrer que si a ∈ Q et b ∈ Q alors a + b ∈ Q
x2 − 2 = 0 ż.
Exercice 6
2 P2 : ń Pour tous rationnels x et y tels que x < y il existe
Montrer que les propositions suivantes sont fausses :
un rationnel z tel que : x < z < y ż.
1 P : (∀x ∈ [0; 1]) : x2 ≥ x
3 P3 : ń Pour tout réel x, il existe un unique entier relatif p
2 Q : (∀x ∈ R)(∀y ∈ R) : x2 + y 2 ≥ x + y
tel que : p ≤ x < p + 1 ż. √
3 R : ∀(a; b) ∈ R2 : a2 + b2 = a + b
4 P4 : ń Pour tout entier naturel n, il existe un entier naturel
4 S : (∀x ∈ R∗ ) : x + 1
x ≥2
m tel que : n ≤ m + 2 ż.
5 U : (∀x ∈ R)(∃y ∈ R) : x2 − xy + y 2 = 0
√
5 P5 : ń Pour tous réels x et y, y + 1 + (x − 1) = 0 si, et
2
Exercice 7
seulement si : x = 1 et y = −1 ż.
1 Résoudre dans R les équations suivantes :
6 P6 : ń Pour tout réel x, si x ∈ [1; +∞ [ alors x2 ≥ x ż. (E1 ) : x − |x − 2| + 5 = 0
2
7 P7 :ńTout entier naturel divisible par 3 est divisible par 9ż. (E2 ) : |x − 1| + |2x − 3| = |5x − 10|
p √ p √
(E3 ) : 2x + 19 − 8 2x + 3 + 2x + 7 − 4 2x + 3 = 6
Exercice 3
(Remarquer que : 7=3+22 et 19 = 3 + 42
Soit P, Q et R trois [Link] que les propositions
2 Montrer que : ∀x ∈ R, |x − 1| ≤ x2 − x + 1
suivantes sont des tautologies :
3 Résoudre dans R les inéquations suivantes :
1 (P ⇒ Q) ⇒ [(Q ⇒ R) ⇒ (P ⇒ R)] p
x2 − 5x + 6 > x + 4 ; |x − 1| + 2x − 3 ≥ 0
2 (P ⇒ Q) ⇒ [(P etR) ⇒ (QetR)]
4 Résoudre dans R2 le système suivant :
3 (P ⇒ Q) ⇒ [(P ouR) ⇒ (QouR)]
2|x + 1| − y = 4
4 [P ⇒ (Q ou R)] ⇔ [(P et Q̄) ⇒ R] |x + 2| + 2y = 6
5 P ⇒ (P̄ ⇒ Q)
5 Montrer que le nombre n(n + 1)(n + 2) est divisible par 6
6 (P ⇔ Q) ⇔ (P etQ)ou(P etQ) pour tout n ∈ N.
7 [P ⇒ (Q ou R̄)] ⇔ [Q ou (P ⇒ R̄)] Exercice 8
1/2
1 Soit n ∈ N. Montrer que si n2 est pair alors n est pair. Exercice 11
2 Montrer que si l’entier n2 − 1 n’est pas divisible par 8 , 1 Montrer que (∀n ∈ N) : 4n ≥ 3n + 1
alors l’entier n est pair 2 Pour tout n ∈ N, montrer que le nombre 4n + 6n − 1 est
3 pour tous nombres réels x et y : divisible par 9
x y 3 Montrer que : ∀n ∈ N; 7n − 1 est divisible 6
(xy ̸= 1 et x ̸= y) ⇒ ̸= 2
x2 + x + 1 y +y+1
4 Montrer que (∀n ∈ N) : 17 divise 26n+3 + 34n+2
4 soient z, y, x trois réels . montrer que :
5 Montrer que (∀nϵN∗ ) : 52n+1 + 2n+4 + 2n+1 est divisible
(x + y > 2z) ⇒ (x > z ou y > z)
par 23
5 montrer que pour tout y, x de R on a :
√ √ 6 Soit x un réel strictement positif montrer que
x ̸= √12 et y ̸= √12 ⇒ xy 2 − x − y + 2 ̸= √1
2
(∀n ∈ N), (1 + x)n ≥ 1 + nx.
6 soit a ∈ R. Prouver que : [(∀ε > 0), |a| < ε] ⇒ a = 0
3 Exercice 12
7 (a; b; c)ϵ R∗+ . Montrer que :
n(n+1)
1 Montrer que (∀n ∈ N) : 1 + 2 + 3 + . . . . + n =
1 1 1 1 2
a +b +c <2⇒ + + =
2 2
̸2
a b c abc 2 Montrer que (∀n ∈ N) : 1 + 3 + 5 + . . . . + (2n + 1) = (n + 1)2
8 x et y deux nombres positifs non [Link] que : Pn
3 Montrer que (∀n ∈ N∗ ) : k=1 k 2 = n(n+1)(n+2)
r r r r 6
x y x y √ ∗
Pn n2 (n+1)2
− ̸= 1 ⇒ + ̸= 5 4 Montrer que (∀n ∈ N ) : k=1 k = 3
4
y x y x Pn
∗
5 Montrer que (∀n ∈ N ) : k=1 k(k+1) = n+1
1 n
Exercice 9 Pn n+1
√ √ √ 6 Montrer que (∀n ∈ N) : k=0 ak = 1−a 1−a
1 Montrer que 2 ∈ / Q puis en déduire que ( 2 + 3) ∈ /Q Pn
7 Montrer que (∀n ∈ N∗ ) : k=1 k(3k + 1) = n(n + 1)2
2 soient a et b deux nombres rationnels tels que a ̸= b Mon- Pn k2
8 Montrer que (∀n ∈ N∗ ) : k=1 (2k−1)(2k+1) n(n+1)
= 2(2n+1)
trer que : √ Pn n
a+b 2 9 Montrer que (∀n ∈ N∗ ) : k=1 (−1)k k = (−1) (2n+1)−1
√ ∈
/Q 4
2+1
10 Montrer que
3 Montrer que : (∀n ∈ N); n+1
n+2 ∈
/N
√ X
n
n(n + 1)(n + 2)(3n + 1)
4 Montrer que : (∀n ∈ N); n2 + 5n + 8 ∈
/N (∀n ∈ N∗ ) : (k + 1)k 2 =
12
k=1
5 soit a ∈ N. Montre que :
r q Exercice 13
p
a + 4a2 + 16a2 + 8a + 3 ∈
2 /N Soit a, b et c des réels.
1 Montrer l’implication suivant :
6 soient c, b, a des réels de R+∗ et tels que abc > 1 et
a+b a−b
a+b+c< 1
+ 1
+ 1 (|b| < c et |a| < c) ⇒ + <c
a b c 2 2
a) montrer que a ̸= 1 et b ̸= 1 et c ̸= 1
2 Montrer que :
b) montrer que a < 1 ou b < 1 ou c < 1
|a + b| = |a| + |b| ⇔ ab ≥ 0
7 Montrer que :
r
n 3 En déduire que :
(∀n ∈ N∗ ) ; ∈
/Q
n+2 a+b a−b
+ < c ⇒ (|b| < c et |a| < c)
2 2
Exercice 10
1 soit x ∈ R Montrer que : |x − 1| ≤ 1
⇔ 2
≤ 1
≤ 2 Exercice 14
2 5 x+1 3
Dans cet exercice, on souhaite déterminer toutes les fonctions
2 Soient a, b et c des réels. Montrer que :
f : R → R vérifiant la relation suivante :
*) a2 + b2 + c2 ≥ ab + bc + ac
∀x ∈ R, f (x) = f (x) + xf (1 − x) = 1 + x
*) a3 + a = b3 + b ⇔ a = b
3 Soit xϵR+ .Montrer que : 1 On considère f une fonction satisfaisant la relation précé-
√
x 4√ dente. Que vaut f (0)?f (1)?
≤ x
x2 − x + 1 3
2 Soit x ∈ R on substituant x par 1 − x dan la relation dé-
4 Soient x et y deux réels positifs. Montrer que :
terminer f (x).
√ √ √
x+y = x+ y ⇔ (x = 0 ou y = 0)
3 Quelles sont les fonctions f solution de problème ?
2/2