Lycée Al Fath Classe : 1BAC SE 4 Année scolaire : 2020 – 2021 Prof.

Mohamed SELLAH

Série des exercices : Notions de logique

Exercice 01 : Donner la négation et la valeur de vérité de 3. Montrer que les propositions suivantes sont fausses :
chacune des propositions suivantes s’il est possible. P1 : x y / x2 y2 x y
1) P :" x /x 2
0" 2
P2 : a, b / a2 b2 a b
2) Q :" x /x 2
2 0"
Exercice 05 : ֍ Raisonnement par Contraposée ֍
3) R :" x, y : x2 y2 "
1. Montrer que x 2 et y 2 2x 2y xy 2 2
4) S :" n m :n m"
2. Montrer que x y x 1 y 1 x 1 y 1
5) T :" x y /x y ou x y"
3. Soit n , montrer que si n 2 est impair alors n est
6) V :" y x /x y ou x y" impair.
7) M :" x y : y2 x" 4. Montrer que n ;n n 1 n 2 est divisible par 3
8) N :" x y / x2 y 2 et x y" Exercice 06 : ֍ Raisonnement par Équivalences ֍

9) P1 :" x / 1 cos x 1" 1 2 1 2

Soit x , montrer que : x 1
2 5 x 1 3
10) P2 :" a b c"
Exercice 07 : ֍ Raisonnement par Disjonction des cas ֍
11) P3 :" a b a c"
1. Résoudre dans l’inéquation suivante :
12) P4 :"
2
x, y :x y 1 x 1"
x 1 2x 3 0
Exercice 02 : Écrire à l’aide des quantificateurs les
2. Montrer que x
2
propositions suivantes. :x 1 x x 1
1. Il existe un réel M tel que pour tout x on a x M 3. Soit n, p , montrer que n p est pair ou n2 p2
2. Le carré de tout réel est positif. est un multiple de 8.
3. Certains réels sont strictement supérieurs à leur carré.
Exercice 08 : ֍ Raisonnement par l’Absurde ֍
4. Il n’existe aucun nombre rationnel, qui résoudre
l’équation x 2 2 . 1. Soit n *
Montrer que n2 1 n’est pas un entier.
5. f est une fonction constante sur . n
6. Entre deux réels distincts, il existe un rationnel. 2. Montrer que n *
:
n 1
7. Il existe un entier multiple de tous les autres.
n 1
Exercice 03 : ֍ Raisonnement par Déduction ֍ 3. Montrer que n :
n 2
1. Soit x, y n 3
4. Soit n Posons A , Montrer que A 1
0 x 2 1 1 n 5
Montrer que : 1
0 y 2 x y Exercice 09 : ֍ Raisonnement par Récurrence ֍
2. Soit x 1. Montrer par récurrence les formules suivantes :
1 k n
n(n 1)
Montrer que : 1 x x 0 a- n : k 1 2 ... n
1 x k 1 2
3. A- Montrer que k n
n(n 1)(2 n 1)
2 b- n : k 2 12 22 ... n2
a, b : a2 b2 0 a 0 et b 0 k 1 6
B- x et y , montrer que : c- n *
:1 3 5 ... 2n 1 n 1
2

x y 2 2 x 2 y x y 1 2. Montrer que n ; 4n 6n 1 est divisible par 9.

Exercice 04 : ֍ Raisonnement par Contre-exemple ֍ 3. Montrer que n ; 7n 1 est divisible par 6.
1. Donner avec justification la valeur de vérité de P 4. Soit a *
(Nombre réel fixe)
P : « Tous les nombres premiers sont impairs » n
Montrer que n ; 1 a 1 n a
2. Montrer que cette assertion est fausse :
« n : n2 n 1 est un nombre premier » ֍֍ Prof. Mohamed SELLAH ֍֍