Notions de de logique

-Série01-

1BAC SMF

EXERCICE 01 EXERCICE 03

Exprimer les propositions suivantes à l’aide des On considère les propositions suivantes :
quantificateurs et connecteurs logiques.
P «    x; y   2
 : ( x et y  )  x  y  »
A :« Il existe un nombre rationnel dont le carré
vaut deux » 1
Q «     x   :  x  1 
x  3 »
B :« Il existe un entier naturel multiple de tous les 3
autres » R «  y  *  x  *  : x  y  2 y x »
C :« Entre deux réels distincts, il existe au moins 1)a-Donner la négation des propositions P et Q .
un rationnel » b-Qu’elle est la valeur de vérité de P ?
D :« Aucun réel n’est supérieur à tous les autres » 2)Montrer que la proposition Q est vraie.
E :« Tous les réels ne sont pas des quotients
d’entiers » 3)a-Montrer que : y   *
; y y2  y .
F :« Pour tout réel 𝒙 , si x  1 alors x 2  x » b-En déduire que la proposition R est vraie.
G :« Le produit de deux réels est nul, si seulement
si, l’un des deux est nul » EXERCICE 04
H : « Pour tout réel, on peut trouver un entier
naturel qui lui est strictement supérieur » Montrer les implications suivantes :
I : « Tout entier naturel est pair ou impair »

1)   a; b   2
:( a 1 et b 1)  a  b 1  ab )

EXERCICE 02 2)    a; b; c    : ( a  b  c et a  b  c)  ab 
3 c2
.
2
1)On considère la proposition: 3)    x; y   2  : x 2  y 2  1  x  y  2
P :  y   x   ; x 2  xy  y 2  0 
4)   x; y    : x  y  xy  1  x y  y x  2 .
2 2 2 3 3

5)    x; y; a; b      : ax  by  1 
a-Déterminer la négation de la proposition P . * 4 1
b-En déduire que la proposition P est fausse.
 a b 2 2
.
x y 2 2

2) On considère la proposition :
6)  x  1 y  1 : x  y  xy  x  y  1  0  x  y  0
2 2

 1 3
Q :  x   0; 2    y   ;   ; xy  x  2 y  1  0 
7)   a; b    : a  a  b  1  b  b  1  0  a  b  0
2
 2 4
a- Déterminer la négation de la proposition Q . 8)    a; b    : a  b 1 a  b  (0 a 1 et 0 b 1)
2 3 3

b- Montrer que la proposition Q est vraie.

3)Déterminer la négation et la valeur de vérité de EXERCICE 05
chacune des propositions suivantes :
En utilisant Le raisonnement par équivalence,
P1 : «  m    x  
 ; 1 2 x
m »
Montrer que :
P2 : «  x   y   ; 4 x  5 y  2 » 
1)   x; y      : 4 x  1  4 y  1  2  x  y  1 .
 2

2)  x   2; 2 : 4  x  x  2 2 .
2x
P3 : «  y   x   ; y » 2
1  x2
3)    x; y      : x y 
 
x 2x  5 y y

P4 : «   x; y   0;1
2
;0
x y
xy  1  xy 
1 »
 2

y 5x  2 y x
.

4)    x; y    : x  y  0  x  y  0 .
2 2 2
 x y 4)Résoudre dans :
5)  x  1 y  4  : x  1  2 y  4   ( x  2 et y  8)
2 a-Les équations:
6)Soit    2 5;   .Montrer que :
 
 E  : 2 x 2  x  3  18  0 et  F  : x  2  x  3  x  2
b-Les inéquations :
  40  352  960 2  576  0    2  3  5
8 6 4

7)    a; b   2  : a  b  a  b  ab 0 . I : x  1  x  4 et  J  : x 2  5 x  6  2 x  3

8)Soient a et b deux réels tels que a  1 et b  1 .  K  : 2x 1 4x  3 3x  4 .

5)Soit f la fonction f définie sur par :
 ab
2

Montrer que : 1  a  1  b  2 1    . f  x   x ; x  1 et f  x   2  x ; x  1
2 2

 2 
Montrer que :  x   : f 2  x  f  x
EXERCICE 06 n  n  1 n  2 
6)Montrer que :  n   :  .
3
En utilisant Le raisonnement par contraposée ; a b a b
Montrer que : 
7)   a; b; c   3
:( a c et b c) 
2

2
c.
1)On pose I  1; 
EXERCICE 08
   x; y   I  ;  x  y    x  3 
2

y  1   y  3  
x 1
En utilisant Le raisonnement par absurde ; Montrer
 1 1
2)  x   y   : (x  y et xy  1)   x   y  
* * que :
 x y 1)Montrer que:  2 3   (on rappelle que 2  )
3)On pose I   2;  .
* * a b
a 1 b 1  2)Soient a  et b  tels que  .
 a  I  b  I  : a  b  2  2 1 b 1 a
 a  2a  2 b  2b  2  Montrer que : a  b .

4)   a; b   2
 ;(a  2 et b  2)  ab  2a  2b  2  2 3)a-Montrer que : 3 
5)  x   : x   1; 4  x 2  3x  4 0 b-Soient a  et b  tels que a  b .
6)Soient a et b deux réels tels que a  2b . ab 3
Montrer que :  .
1 2a  b 3 3 1
Montrer que : b   a  
8 a  2b 2 4)Soient x ; y et z trois nombres rationnels tels que
x  y  2 z   y  z  2 x   z  x  2 y   18 .

7 a  
; a 4
 8a 3  18a 2  8a 3 a2 3 5 2
Montrer que : x  y ou y  z ou x  z .

8)   x; y   2
 : ( x  12 et y  12 )   xy 2  x  y  2  12  5)Soit a  tel que 1 a 2 .
 
Montrer que :  x   : x  ax  1  0 .
2

9)Soit  a; b; c    * 3
 . n 1
6)  n  :  .
Montrer que : a  b  c
1 1 1
2   
2 1 2 2 n2
a b c abc

7) n  *
: n2  1  .
10)  x   : x   1  x   .
8)  n  : 4n  2018 
8n  2021
EXERCICE 07 9)  n  :  .
10

10)  n  *  :
n
 .
En utilisant Le raisonnement par Disjonction des cas n2
Montrer que :

11) n  *
: n 2  7n  12  .
1)  x   : 2 x  2  2 x  1  2 x  1
2

12)  a  : a 2  4a 2  16a 2  8a  3  .
2)  x   : 2 x 2  3x  3  x  1 0
13)Soient a  et b tels que : a b 0.
3)  x   : x 4  x3  x 2  x  1 0 (Etudier les cas
a b 2 2

suivantes : x  0 ; x  1 et 0 x 1 ). Montrer que : 

a 2  b2
 EXERCICE 09

En utilisant Le raisonnement par récurrence,

Montrer que :

1) n  *
 :1  3  5    1  2n  1   1  n  1 .
n n

n  n  1 n  2 

2) n  *
 :1 2  2  3   n  n  1 
3
.

3  1
n n 1
1 1  1
3)  n   :1          .
3 9  3 4 4  3n
1 1 3n
4)  n  2  :1  2   2  .
2 n 2n  1
 1  1  1
5)  n  *  : 1  3 1  3  1  3   3 
1
 1  2   n  n
6)  n   :17 / 3  5
2 n 1 3 n 1
2 .
7) n  *
:7 /3 2 n 1
 2n  2 .
8)  n   :11/ 55n1  45n 2  35n .
k n
9) n  *
 : 54
 5  1 .
5 n k

k 1
k n
1 n 1
10)  n  *  :   .
k 1 k 2
k n
n  3n  5
11)  n  *  : 
1
 .
k 1 k  k  2  4  n  1 n  2 
k n

12) n  *
: 1
4k  1
2

n
2n  1
.
k 1
k n
13) n   *
 :1    2k  1   n  1 2
.
k 1

14)Soit x  .
a-Montrer que :  n   : 1  x   1  nx .
n

b-En déduire que :  n  *  : 1  n n  2nn .

15)Soient  et  deux réels strictement positifs.
      
n n
n
Montrer que :  n   
:   .
 2  2

EXERCICE 10