Académique Documents
Professionnel Documents
Culture Documents
Ex
Prof : Abdelaziz Talhi Série d'exercices I 2022/2023
La logique
Exercice1 : Donner la négation et la valeur de vérité de x2
chacune des propositions suivantes f x Montrer que :
2x 1
1) P : " x / x 2 0" 1 1 1
2) P : " x / x 2 2 0" x 1 x 1 f x f 1 x 1
2 4 2
3) P : x 1; 2
n 1
Exercice 9 : Montrer que : n
4) P : " n / n " n2
a
2
z
Exercice 10 : Montrer que pour tout
5) P : x ; 1 cos x 1 x 2; 2 : 2 2
6) P : n
7) P : n
; m : n
r
2n 1 est pair
m
a
4 x² .
Exercice 11: Montrer que pour tout
x : x 1 x² x 1 .
z i
8) P : n
9) P : x
; n
a
; y : y x
10) P : !x ;2x 4 0
Y e l a 0
Exercice 12 : résoudre dans
1
x
4
1
1 x
l’inéquation E :
11) P : !x ; x 2 2
12) P : x ; x
L b d Exercice 13 : résoudre dans
x 1 2x 3 0
l’inéquation 1 :
A
4
13) P : x ; y : y 2
x
A
Exercice 14 : Montrer que pour tout
Exercice 2 Ecrire à l'aide de quantificateurs les x : x ² 1 x 0 .
propositions suivantes :
e
rt lhi
1. Le carré de tout réel est positif.
2. Certains réels sont strictement supérieurs à leur carré.
3. Aucun entier n'est supérieur à tous les autres.
Exercice 15 : résoudre dans
x² x 2 5 0
l’inéquation 1 :
n
4. Tous les réels ne sont pas des quotients d'entiers.
e a
5. Il existe un entier multiple de tous les autres.
6; Entre deux réels distincts, il existe un rationnel.
Exercice 3 : x ; y
Exercice 16 : Montrer que n n 1 n 2 est un multiple
de 3 pour tout n .
Exercice 17 : x et y
Montrer que :
C :T
0 x 2 1 1
0 y 2 x y
1
Montrer que : x 2 et y 2 2 x 2 y xy 2 2
Exercice 18 : x et x 5
x2
f
Exercice 4 : x Montrer que : Montrer que : x 8 2
x5
o
1
1 x x 0
1 x Exercice 19 : Soit n . Montrer que si n² est pair alors
2) x
et
r
Exercice 5 : 1) Montrer que :
a; b ² : a² b² 0 a 0 et b 0
P y
Montrer que:
n est pair.
Exercice 20 : x ; y
Montrer que : x y x 1 y 1 x 1 y 1
Exercice 21 : Soit n et p
x y 2 2 x 2 y x y 1 Montrer que n p est pair ou n ² p ² est un multiple
Exercice 6 : Montrer que : de 8 .
a; b ² : a² b² 1 a b 2 Exercice 22 : Soient a 0 et b 0 Montrer que si
Exercice 7 : Montrer que si a et b a b
alors alors a = b.
a b 1 b 1 a
Exercice 23 : Soit f la fonction numérique définit sur
Exercice 8 : on considère la fonction définie sur
1 par : f x x ² 2 x
par :
2
Centre ALYaraa 1ere Bac S.Math S.Ex
Prof : Abdelaziz Talhi 2022/2023
Montrer qu’il n’existe pas de nombre positif M tel que : Montrer que : x y 2 x 2 y 2 xy
x on a : f x M
Exercice 39 : 1) Montrer que :
Exercice 24 : Montrer que : 2
Exercice 25 : (Contraposée ou absurde)
a; b : a b 0 a 0 et b 0
2
a a i z
r z
Exercice 42 : Montrer par récurrence que :pour tout entier
Et soient x1 ; x2 ; x3 ; x4 ;… ; xn des éléments de
n 5 : 2 6n n
Y a
Exercice 27 : Montrer que La proposition
P : x 0;1 : x² x est fausse :
e l a
xi i est pair
Exercice 43 : Montrer que : n
divisible par 3
Exercice 44 : (Récurrence) Montrer que pour tout
; n3 2n est
d
L
n :
n n 1 2n 1
b
n
Exercice 28 : Montrer que La proposition
P : x y : x² y ² x y est fausse : k 2
12 22 32 ... n2 .
A k 1 6
A
Exercice 29 : Montrer que La proposition Exercice 45 : (Récurrence) Montrer que pour tout
P : a; b ² : a ² b² a b est fausse : n² n 1 ²
e
n
k 13 23 33 ... n3
rt lhi
Exercice 30 : Montrer que La proposition suivante est n :
3
.
k 1 4
fausse :
Exercice 46 : (Récurrence) Montrer que pour tout
« Tout entier positif est somme de trois carrés »
n :
6 1² 1² 2² .)
e n
(Les carrés sont les 0² , 1² , 2² , 3² ,... Par exemple
a
Exercice 31 : Montrer que La proposition
k n
2k 1 1 3 5 ... 2n 1 n 1
k 1
2
.
C :T
Exercice 47 : Montrer que : n ; 4 6n 1 est
n
P : x
: x 1x 2 est fausse : divisible par 9
Exercice 32 : on considère la fonction f définie sur Exercice 48 : Montrer que : n ;7 1 est divisible
n
o f
Exercice 33 : Montrer que La proposition
par 6
P r a b
P : a; b; c; d 4 ;
c d
a c b d est fausse :