1ere SM La logique H .

Bouayoun

Exercice 1 Ecrire en utilisant les contificateurs logiques les propositions suivante

1/ 3
et étudier leur valeur de vérité
(P) : Pour tout entier naturel n il existe un entier naturel m tel que : n = 2m .
(Q) : Pour tous réels x et y il existe un entier naturel n tel que : x + y = n .
(R) : il existe un nombre réel M tel que pour tout réel x : x ≤ M .
(Q) : Pour tous réels m il existe un nombre réel x tel que : x − mx + 1 = 0
2

Exercice 2
Ecrire la négation des propositions suivante puis étudier la valeur de vérité de chacune d’elle :
x 2n
(P) (∀x ∈ IR ): 1 + x 2 − x ≥ 0 (Q) (∃n ∈ IN * ) (∀x ∈ IR): >1
1+ x
Erreur ! Signet non défini. (S) (∀x ∈ IR ): x 2 − x + 1 ≥ 0 et − 1 ≤ x ≤ 1
(T ) (∀x ≥ 1): x 2 + x − 2 ≥ 0 (U ) (∀x ∈ IR )(∃y ∈ IR ): x 2 + y 2 + xy − 3 = 0
Exercice 3
Montrer que la proposition suivante est vraie .
x y
(∀x > 1)(∀y > 1) : x ≠ y ⇒ ≠
1+ x 2
1+ y 2
Exercice 4
1) Montrer que pour tout n ∈
:
a) (n 2 paire ) ⇔ (n paire ) b) (n 2 impaire ) ⇔ (n impaire )
1+ 5
2) en déduire que 5 ∉ et ∉
2
Exercice 5
Soit a , b ∈ IR + . Montrer que : 1 + a − a < 1 + b − b ⇔ b <a
Exercice 6
1) Soit a ∈ IR + tel que (∀ε > 0) : a < ε . Montrer que a = 0 .
2) Soient a et b deux réels tels que (∀ε > 0) : a − b < ε . Montrer que a = b .
Exercice 7
Soient a et b deux éléments de IR tels que : (∀x ∈ IR) (a < x ⇒ b < x)
Montrer que b ≤ a .
Exercice 8
Soient x , y et z trois éléments de IR tels que : L’un d’eux est strictement positif le
deuxième est strictement négatif le troisième et nul , et vérifient les propositions suivantes :
x = 0⇒ y >0 , x > 0⇒ y < 0, y ≠ 0⇒ z >0
Déterminer le signe de chacun de ces réels .
Exercice 9
1 1 1
Soient x , y et z trois éléments de IR *+ tel que : xyz > 1 et x + y + z < + +
x y z
En utilisant le raisonnement par absurde montrer que :
1) chacun des trois nombres x , y , z est différent de 1 .
2) l’un des trois nombres x , y et z est strictement inférieur à 1 .
Exercice 10
Montrer en utilisant le raisonnement par disjonction des cas ce qui suit :
n(n − 1)(n + 1) n2 + 1
1) ( ∀n ∈ IN ) : ∈ IN 2) (∀n ∈ IN ) : ∉ IN
3 3

http://sefroumaths.site.voila.fr
Exercice 11
1 1
2/3
Que peut-on dire des nombres réels a et b si : (∀n ∈ IN ):a − ≤ b ≤ a +
*

n n
Exercice 12
Soient (n , p ) ∈ IN *2 tels que : p > 1
Montrer en utilisant le raisonnement par absurde que : Si p divise n alors p ne divise pas n+1
Exercice 13
Montrer en utilisant le raisonnement par récurrence ce qui suit :
1 − q n +1 q ∈ IR − {1}
1) (∀n ∈ IN * )1 + q + q 2 + ......... + q n = ou
1− q
n 2 (n + 1) 2
2) (∀n ∈ IN * )1 + 23 + 33 + .......... + n 3 =
4
3) Pour tout n ∈ IN n 3 − n est divisible par 3 .
4) Pour tout n ∈ IN 32 n − 2n est divisible par 7 .
5) Pour tout n ∈ IN * 32 n + 2 6n −5 est divisible par 11 .
6) ( ∀n ∈ IN ) (1 + q ) n ≥ 1 + nq ou q > 0
n
7) (∀n ∈ IN * ) : ∑ (2k − 1)3 = n 2 (2n 2 − 1)
k =1
n
8) (∀n ∈ IN * ) : ∑ kk ! = (n + 1)!− 1 avec k ! = 1.2.3.........k
k =1
n
1 n (n + 3)
9) (∀n ∈ IN * ) : ∑ k (k + 1)(k + 2) = 4(n + 1)(n + 2)
k =1

10) (∀n ∈ IN * ) : 1 + 23 + 33 + .......... + n 3 = (1 + 2 +  + n )2

n
1 n
11) (∀n ∈ IN * ) : ∑ k (k + 1) = n + 1
k =1

12) (∀n ∈ IN * ) : 1 − 2 2 + 32 − .......... + ( −1) n −1 n 2 = ( −1) n −1 (1 + 2  + n )

n +1 n
13) (∀n ≥ 2) : n ! ≤ ( )
2
1 1
14) (∀n ∈ IN * ) : ≤ n −1
1.2.3......n 2
Exercice 14
Montrer qu’il existe un entier naturel n 0 tel que : (∀n ≥ n 0 ) : 2 n ≥ ( n + 2) 2
Exercice 15
Pour tout n ∈ IN on considère les nombres a0 , a1 , a2 , ……….. , an tels que :
les nombres ai ont tous le même signe et (∀i ∈ {0,1, 2,......., n }) : ai > − 1
Montrer que : (∀n ∈ IN ) : (1 + a0 )…… (1 + an ) > 1 + a0 +  an
Exercice 16
Pour tout n ∈ IN * on considère le polynôme Pn (x ) = n x n +1 − (n + 1) x n + 1
Montrer que Pour tout n ∈ IN * le polynôme Pn est divisible par (x − 1) 2
Exercice 17
Soit n ∈ IN * . Montrer que : (∀k ≥ 1) : n k + kn k −1 ≤ (n + 1) k
Exercice 18
a + b n an + b n
Soient aet b ∈ IR *+ tels que a ≠ b . Montrer que : (∀n ∈ ) ( ) ≤
2 2
Exercice 19
3/ 3
On considère les nombres u 0  u 1  u 2  u 3 ……… tels que
u 0 = 1 et u n +1 = 2 + u n
1) Montrer que : (∀n ∈ IN ) : u n < 2 2) Montrer que : (∀n ∈ IN ) : u n < u n +1

http://sefroumaths.site.voila.fr