Lycée Al Fath, Lqliâa Niveau : 1Bac SM Prof : Mohamed SELLAH /

Délégation Inzegane Ait Melloul

Lqliâa Série des exercices 01 : Notion de logique
Exercice 01 :
1. Exprimer les propositions suivantes à l’aide des
quantificateurs et connecteurs logiques puis indiquer
la valeur de vérité de chacune d’elles :
a- Il n’existe aucun rationnelle solution de l’équation
x2  2  0
b- Tout entier naturel est pair ou impair.
c- Il existe un réel plus petit que tous les réels.
d- Le carré d’un entier relatif, est supérieur à (-1).
e- Aucun entier naturel n’est supérieur à tous les
autres.
f- Tout réel inférieur ou égal à (-2) est négatif.
g- Tout entier naturel divisible par 4 est un nbr pair.
h- Entre deux réels distincts, il existe un rationnel.
i- f n’est pas nulle ( f une fonction de  vers  ).
j- f est croissante sur  ( f une fonction de 
vers  ).
k- Certains réels sont strictement supérieurs à leur
carré.
l- Le dénominateur de la fonction f s’annule une
seule fois sur  .
2. On considère la proposition :
Q :  x  1;  ; x 2  1 et x 2  2 x  3  0
a- Nier la proposition Q .
b- Montrer que Q est vraie.
3. Considérons la fonction propositionnelle :
n   : An / telque An  n 2  n  41
a- Calculer A0 , A1 , A2 et A40
b- Montrer que la proposition suivante est fausse :
 n  *  : A n est nombre premier 
 
Exercice 04 :
1. Soit n   , montrer que si 2n 1 est un carré parfait,
alors  n  1 est la somme de deux carrés parfaits.
2
2. Soit n   , montrer que si n 1 est un carré parfait,
alors 14n 14 est la somme de 3 carrés parfaits.

2. Nier les propositions ci-dessus. Exercice 05 : Lois logiques / Tableau de vérité

Soient p, q et r trois propositions
Exercice 02 : a   p  q   p et q

b   p  q   q  p
Donner la négation et la valeur de vérité de chacune
des propositions suivantes : 1.Montrer que
P :" x   / x 2  0" c   p ou r   q    p  q  et  r  q
1
Q :"x     ; x 2  x ou x   0" d   p  q et q  p
x  
R :" x   y   / x  y ou x  y " Sont des lois logiques.
S :"y   x    / x  y ou x  y " 2) En utilisant le tableau de vérité, montrer que
 p  q ou r    p et q  r 
M :  y    x   ; x 2  xy  y 2  0    
 x 1 z  2 
N :   x, y, z    3 ;  y2  Exercice 06 : Raisonnement par contre-exemple
 2 3 
O :" x  ; x 2    x   " Montrer que les propositions suivantes sont fausses :
P :  n  m   : n  m
V :" x    / 1  cos  x  1"
Q : « Tous les nombres premiers sont impairs »
Z :" x, y    : x  y  1  x  1"
S : « n   : n2  n 1 est un nombre premier »

 

Exercice 03 :  2x 
R :  x  0;1 2  1

 x 1 x  
2

1. On considère la proposition : 
 

P :  x    ; 1  x 2  x  0 T :  x    3cos x  2sin x
2

a- Nier la proposition P . 1
O :  x   *  x   2
b- Montrer que P est vraie. x
֍ Prof. Mohamed Sellah ֍ Page 01
 Lycée Al Fath, Lqliâa Niveau : 1Bac SM Prof : Mohamed SELLAH /

Exercice 07 : Raisonnement déductif /par équivalences Exercice 10 : Raisonnement par l’absurde

2x  3 9
1.Montrer que  x    : x  2  1  0   1. Soient  x, y, z    3
x2 5
a- Montrer que le système suivant n’admet pas de
2.Montrer que  a, b    : a 2  b2  1  a  b  2
2 x  3z  3
1 
3. Soient x et y deux réels tels que : x  et y  1 solution : 3 y  2 x  3
2 
17  y  z  2
Montrer que 4 x 2 y  y  x 
16 z z
b- On suppose que x  y  z , Mq x  et y 
4. A- Mq   a, b    : a  b  0  a  0 et b  0
2 2 2 2 2
2. Soit x, y et z des réels strictement positifs tels que :
B- Soit x    et y    , montrer que :
1 1 1
x  y  2  2 x  2 y  x  y 1 xyz  1 et x  y  z   
x y z
1 Montrer que x  1 et y  1 et z  1
5. A- Montrer que  x   *  x   2
x
B- Soient x et p deux réels strictement positifs,
3. Montrer que 2  3    
montrer que x5  x3  x  p  x 6  2 p 1 4. Soit n  * Montrer que n2 1 n’est pas un entier.
1 2 1 2 5. Montrer que  n  ; 5n  7  
6. Soit x   , mq : x 1    
2 5 x 1 3
6. Soit a   , mq a 2  4a 2  16a 2  8a  3  

7. Soit x   , mq x  5 et x   5   3
1
4  x2
Exercice 11 : Raisonnement par récurrence

1. Montrer que  n  3; 3n  n3

Exercice 08 : Raisonnement par contraposée
2. Montrer que  n  *  ; 3n  n.3n1  4 n
1 3x
1. Mq  x   \ 1 : x   1 3. Montrer que  n    ,17 divise 3 52 n1  23n1 
2 x 1
2. Soient a , b deux nombres réels non nuls, tel que 4. Montrer que  n    , 9 divise 7 n  21n 1
1 a  2b 2 5. Montrer par récurrence les formules suivantes :
b  2a montrer que : b  a   k n
2a  b 3 n(n  1)
8 a   n    :  k 1  2  ...  n 
3. Mq   a, b   2  : a  1 et b  1  a  b  ab  1 k 1 2
k n
n( n  1)(2 n  1)
4. Mq  x, y  1;  : x  y  x 2  2 x  y 2  2 y b   n    :  k 2 12  2 2  ...  n 2 
k 1 6
5. Soit a, b, c    *  , montrer que :
3

c  n  *  :1  3  5  ...  2n 1  n 1

2

1 1 1 1
a 2  b2  c2  2     d   n  ; 1  a   1  n a avec a  * 
n
a b c abc
6- Montrer que n  ; 7 n 1 est divisible par 6.
Exercice 09 : Raisonnement par disjonction des cas 7- Montrer que n  ; 4n  6n 1 est divisible par 9.
1. Résoudre dans  les inéquations suivantes : 8- Montrer que  n  *  :
x  2  x  5 ; x 1  2 x  3  0 n
1 n n  3
x  5x  6  2x  3
2  k k 1k  2  4n 1n  2
k 1

2. Résoudre dans  les équations suivantes : 9- Montrer que  n  *  :

a  3  2 x  4  2 x  5 ; b x  2  x  3  x  2 n
k2 n n  1
c  x  1  x  1  x 
k 1  2 k 1 2 k  1

2 2n  1
3. Montrer que  x    : x 1  x 2  x  1
4. Soit n, p   , montrer que n  p est pair ou Bon Courage
n 2  p 2 est un multiple de 8. ֍ Prof. Mohamed Sellah ֍ Page 02
5. Montrer que  n   ; n  n  5 est multiple de 3.
2 Délégation Inzegane Ait Melloul, Lqliâa