Centre ALYaraa 1ere Bac S.Math S.

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 x2
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  " n2

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
x2

f

Exercice 4 : x Montrer que : Montrer que : x  8  2
x5

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

Soient a; b  2) x et y Montrer que:

1)Montrer que : a  b 2  0  a  b  0 x²  1  y ²  1  2  x  y  0
2)en déduire que : a  b 2  a  b 2  a  a et
Exercice 40 : Montrer que : n  ;3n  1  2n .
b  b

Exercice 26 : (absurde) Exercice 41 : (Récurrence) Montrer que pour tout n  ,
On considère l’ensemble : A  1; 2;3; 4;...; n avec n un
nombre entier impair
1  2  3  ...  n 
n   n  1
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

l’ensemble A distincts deux a deux

Montrer que : i  A /

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

par : f  x   2 x²  x  3 Montrer que : f n’est ni pair ni

impair

o f
Exercice 33 : Montrer que La proposition
par 6

Exercice 49 : Pour tout entier naturel n, on considère les

P r a  b
P :   a; b; c; d   4 ; 
c  d
 a  c  b  d est fausse :

Exercice 34 : Montrer que La proposition

P :  x   y   : x²  xy  y ²  0 est fausse
deux propriétés suivantes :
P (n) : 10  1 est divisible par 9
n

Q (n) : 10n + 1 est divisible par 9

1) Démontrer que si P (n) est vraie alors P (n + 1) est vraie.
2) Démontrer que si Q (n) est vraie alors Q (n + 1) est
vraie.
1
Exercice 35 : x  0 x   2 3) Un élève affirme : " Donc P (n) et Q (n) sont vraies pour
x tout entier naturel n.
Exercice 36 : soit x Montrer que : Expliquer pourquoi il commet une erreur grave.
1 2 1 2 4) Démontrer que P (n) est vraie pour tout entier naturel n.
x 1     5) Démontrer que Q (n) est fausse pour tout entier
2 5 x 1 3 naturel n.
Exercice 37 : résoudre dans l’équation  E  : On pourra utiliser un raisonnement par l'absurde.
Exercice 50 : Soit P(n) la propriété dénie sur par :
x2  1  2x
7 n  1 Est divisible par 3
Exercice 38 : x et y  1) Démontrer que si P(n) est vraie alors P (n + 1) est vraie.
2) Que peut-on conclure