Direction provincial Tinghir

Lycée qualifiant SALAH Notions de logique 1BAC Sc. Mathématiques

Année 2021/2022
EDDINE Prof. Mohamed HAMMADI
AL AYOUBI
Exercice 1 : Exercice 4
Exprimer les propositions suivantes à l’aide Déterminer la négation puis la valeur de vérité des
des quantificateurs et des connecteurs propositions suivantes :
logiques :
1) P : Pour tout réels et on a :

2) Q : Il existe un entier naturel multiple

de tous les autres
3) R : Il existe au moins un nombre réel
tel que pour tout réel positif on a :

4) S : Entre deux réels distincts, il existe

un rationnel Exercice 5
5) T : pour tous réel strictement positif
Déterminer la négation des propositions suivantes :
, il existe au moins un nombre réel
strictement positif tel que pour tout
réel , si on a : alors

Exercice 2
Soit la fonction propositionnelle suivante :

Déterminer la valeur de vérité de chacune des

propositions suivantes :

Exercice 6
Exercice 6 page 69 – Livre Al mofid en MATHS
Exercice 3 Tome 1 Algèbre et Géométrie
Déterminer la valeur de vérité des
propositions suivantes :
P : tous les nombres premiers sont impairs.
Q:
R:

S:
T:

U:
 Exercice 7 Exercice 10
Soit la fonction définie sur par : Montrer que :
1)
On considère les propositions suivantes :
2)

3)
4)
1-a) Résoudre dans l’équation :
b) Donner la négation de P
c) P est-elle-vraie ? justifier ? Exercice 11
2-a) Résoudre dans l’équation : Soit
où
b) Donner la négation de Q 1) Montrer que :
c) Déterminer la valeur de vérité de Q et R 2) En déduire que :

Exercice 8
Soient P,Q et R trois propositions. Exercice 12
Montrer que les propositions suivantes sont
des lois logiques : Montrer que :
1)
1)
2)
2)
3)

4) 3)
5)
4)

Exercice 9 Exercice 13
1- Montrer que la proposition :
1)Montrer que : ( ∀ n ∈ N ) ( ∃ x ∈ N ) ; x< n est une
est fausse. proposition fausse.
2- On considère la fonction définie sur 2) Soit f la fonction définie sur R par :
par : f ( x )=x 2−5 x +4
a-Montrer que f ni paire ni impaire.
Montrer que la fonction est ni pair
b- Montrer que f ni pas décroissante sur R .
ni impair.
3- Montrer que la proposition suivante 3)Montrer que la proposition suivante est fausse :
4 xy
est fausse : ( ∀ x ∈ R ) (∃ y ∈ R ) ; 2
>1
4+ y
 Exercice 14 Exercice 16
1) Montrer que : 1) Montrer que √ 2∉ Q puis en déduire que
( ∀ x ∈ R ); √ 2 x 2−3 x +3−x+1> 0 ( √ 2+ √ 3 ) ∉Q
2) le nombre n ( n+1 ) ( n+2 ) est divisible par 6 2) soient a et b deux nombres rationnels tels que
pour tout ∈ N . a≠b
3)a-Résoudre dans R l’équation : Montrer que :
( E ) : √ x 2+ x +3=2 x−1 a+b √ 2
∉Q
b- Résoudre dans R l’inéquation : √ 2+1
( I ) : √ x 2 + x+3 ≥ 2 x−1 3) Montrer que :
n+1
4) On considère la fonction numérique définie (∀n∈N); ∉N
par : n+2
4) Montrer que :
f ( x )= √2 x 2−5 x+3+ x−2
( ∀ n ∈ N ) ; √ n2 +5 n+8 ∉ N
a-Déterminer Df .
5) soit ∈ N . Montre que :
b-Déterminer le tableau des signes de la
fonction f √ a +√ 4 a +√ 16 a +8 a+ 3∉ N
2 2 2

5) Soit a ;b et c trois réels tels que c est positif. 6) Soita , b deux entiers naturels tels que a> b>0 .
(|a|≤ c et |b|≤ c ) ⟹|a+b|+|a−b|≤ 2 c Montrer que :
2 2
a +b
2 2
∉N
a −b

Montrer que le triangle ABC n’est pas rectangle.

7) Montrer que :
Exercice 15
Montrer que :
1) pour tous nombres réels x et y :
√
( ∀ n ∈ N¿ ); n ∉ Q
n+2

(
( xy ≠1 et x ≠ y ) ⇒ 2
x
≠ 2
) y
x + x +1 y + y+ 1
2) pour tous nombres réels x et y et z :
x + y > z ⇒ ( x> z ou y > z )
Exercice 17
3) ¿ : En utilisant le raisonnement par équivalence :
( x ≠ 11ou y ≠ 28 ) ⇒ x+ y−6 √ x−2−10 √ y−3+ 29≠ 0 1) Soient a , bet c des réels.
Montrer que a + b2 +c 2 ≥ ab+ bc+ ac
2
4) ( ∀ x ∈ R ) ; ( x ∉ [−1 ; 4 ] ⟹ x 2−3 x−4>0 )
2) Montrer que : ( a 3+ a=b3 +b ) ⇔ a=b
5) ∀ ( x ; y ) ∈ R2 ; ( x 2 + y 2 ≤ 1⟹|x + y|≤ √ 2 )
3) Soit x et y deux réels strictements positifs. Montrer
6)soit a ∈ R . Prouver que :
que :
[ ( ∀ ε >0 )|a|< ε ] ⇒ a=0 x 2 x+5 y y
7) Soit ( a ; b ; c ) ϵ ¿ ¿. Montrer que : x< y ⇔ < <
y 5 x+ 2 y x
2 2 2 1 1 1 1 4) soit ( x ; y ) ∈ R 2.
a + b +c < 2⇒ + + ≠
a b c abc Montrer que si x ≥ 1 et y ≥ 4 alors :
x+ y
√ x−1+2 √ y −4= ⇔ ( x=2et y=8 )
2
5) Montrer que pour tout x et y de ¿ 1 ;+∞ ¿:
( x + y ) +2 √ ( x−1 )( y−1 )> 2
6) Soit x , y et z trois réels strictement positifs.
Montrer que :
xy √ z < xz √ y< yz √ x ⇔ x < y < z

| |
2 2 2
|x− y|< z< x+ y ⇔ x + y −z <2
xy
 Exercice 18
Montrer que :
1) ( ∀ nϵ N ): 1+2+22 + ⋯ ⋯ +2n=2 n+1−1
2) ( ∀ nϵ N ¿ ):
2 2
3 3 3 3 n (n+1)
1 +2 +3 + ⋯ ⋯ +n =
4
¿
3) ( ∀ nϵ N )
n(n+1)(n+ 2)
1 ×2+2 ×3+ ⋯ ⋯ + n ( n+ 1 )=
3
4) ( ∀ nϵ N ) : « 17 divise 2 +3 6 n +3 4 n+ 2
»
¿
5) ( ∀ nϵ N ) : « 3 +2 est divisible par 25 »
3 n +2 n+4

6) ( ∀ nϵ N ¿ ) : « 52 n+ 1+2n +4 +2n +1est divisible par

23 »
7) ( ∀ nϵ N ¿ ) :
1 1 1 n
+ +⋯⋯+ =
1× 2 2× 3 n (n+1) n+ 1
8) ( ∀ nϵ N ¿ ) : « 11divise 32 n+ 26 n−5 »
¿
9) ( ∀ nϵ N ) :

( )( ) ( )
1 1
1+ 3 1+ 3 … . 1+ 3 ≤3−
¿
1 2 n
1 1
n
10) ( ∀ nϵ N ) :
3n 1 1 1 1
≤1+ 2 + 2 + ⋯ ⋯ + 2 ≤ 2−
2n+ 1 2 3 n n
n
11) ( ∀ nϵ N ):( 1+ x ) ≥ 1+nx (inégalité de
Bernoulli).
12) ( ∀ nϵ N ¿ ):
n
1 n(n+ 3)
∑ k (k +1)(k =
+2) 4 (n+1)(n+2)
k =1
¿
13) ( ∀ nϵ N ) :
n
k2 n(n+ 1)
∑ (2 k−1)(2 =
k +1) 2(2 n+1)
k =1