Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Série d’exercices logique

Auteur : Oussama Lamhadoul – Niveau : 1ère Bac Sciences Math

Instructions
Exercice 1.
Donner la négation et la valeur de vérité de chacune des propositions suivantes :
1. ∃y ∈ R (∀x ∈ R) x2 ≥ 10y
2. (∀x ∈ R)(∃y ∈ R) x + y > 2
3. (∀x ∈ R)(∃y ∈ R) x2 + y ≤ xy
4. (∀x ∈ R∗ ) x + 1
x ≥2
5. (∃x ∈ R)(∀y ∈ R) x + 2y ≤ 1
6. (∀a ∈ R)(∃b ∈ R) a2 + 2b2 > 4ab
√
7. ∃x ∈ R+ x < x
8. ∀n ∈ N n2 ≥ 2n
9. ∀x ∈ R∗ 4x > 1
x
10. ∀x ∈ R ∃y ∈ R x + 2y − 1 = 0
11. ∃y ∈ R ∀x ∈ R x + 2y − 1 = 0
12. ∃y ∈ R ∀x ∈ R xy + y − 2x − 2 = 0
√
1+ x
13. ∃m ∈ R ∀x ∈ R+ 2 ≤m
14. ∀x, y ∈ R+ x + y > xy
x 1
15. ∀x ∈ R 1+x 2 ≤ 2
√
16. ∀x ∈
/ Q (x + 2 ∈ / Q)
17. ∃x, y ∈
/ Q (xy ∈ Q)
18. ∀a ∈ R ∃b ∈ R a2 + b2 = 1

Exercice 2.
Exprimer les propositions suivantes à l’aide des quantificateurs puis indiquer la valeur de
vérité de chacune d’elles :
Pi : Il n’existe aucun rationnel solution de l’équation x2 − 2 = 0.
Pj : Pour tous rationnels x et y tels que x < y, il existe un rationnel z tel que x < z < y.
Pk : Pour tout réel x, il existe un unique entier relatif p tel que p ≤ x < p + 1.
Pn : Pour tout entier naturel n, il existe un entier naturel m tel que n ≤ m + 2.
Pm : Tout entier naturel n s’écrit :

n = 3k ou n = 3k + 1 ou n = 3k + 2 avec k ∈ N.
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 3.
Montrer à l’aide des tables de vérité que les propriétés suivantes sont vraies :
1. Commutativité de la conjonction : Les propositions

(P ∧ Q) et (Q ∧ P )

ont le même sens.

2. Associativité de la conjonction : Les propositions



(P ∧ Q) ∧ R et P ∧ (Q ∧ R)

ont le même sens.

3. Distributivité de la conjonction par rapport à la disjonction : Les propositions

P ∧ (Q ∨ R) et (P ∧ Q) ∨ (P ∧ R)

ont le même sens.

4. Distributivité de la disjonction par rapport à la conjonction : Les propositions

P ∨ (Q ∧ R) et (P ∨ Q) ∧ (P ∨ R)

ont le même sens.

Exercice 4.
Écrire les énoncés suivants en utilisant les symboles logiques, et déterminer les phrases vraies :
1. Tout nombre entier naturel est divisible par 8.
2. Tout nombre entier naturel est divisible par 4.
3. Tout nombre entier naturel est divisible par 2.
4. Il existe un nombre entier naturel x tel que x + 2 = 0.
5. Si la somme et le produit de deux nombres réels appartiennent à Q, alors ces deux
nombres appartiennent à Q.
6. Pour tous réels x et y, si x2 < y 2 alors x < y.
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 5.
Soient a, b, c, d des nombres réels non nuls. Considérons les propositions suivantes :
1 1 1
(P1 ) : = −
b c a
1 1 1
(P2 ) : = −
c d a
et

(P ) : a(d − c) + b(a − c) + (c − d)(a − b) = 0

Montrer que :

(P1 ∧ P2 ) =⇒ (P ).

Exercice 6.
Le but de cet exercice est de démontrer par contraposition la propriété suivante, pour
n ∈ N∗ :

Si l’entier (n2 − 1) n’est pas divisible par 8, alors l’entier n est pair.

Questions :
1. Écrire la contraposée de la proposition précédente.
2. En remarquant qu’un entier impair n s’écrit sous la forme

n = 4k + r avec k ∈ N et r ∈ {1, 3} (à justifier),

prouver la contraposée.
3. A-t-on démontré la propriété de l’énoncé ?

Exercice 7.
Soit a ∈ R. Montrer que :


∀ ε > 0, |a| ≤ ε =⇒ a = 0.
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 8.
Soient a et b deux réels. On considère la proposition suivante :

Si a + b est irrationnel, alors a ou b est irrationnel.

1. Quelle est la contraposée de cette proposition ?
2. Démontrer la proposition.
3. Est-ce que la réciproque de cette proposition est toujours vraie ?

Exercice 9.

Soit E ⊂ R. On considère la proposition suivante :

∀x ∈ R, (x ∈ E =⇒ x2 ∈ E).
1. Donner la contraposée de cette proposition.
2. Montrer que si E = N, alors la proposition est vraie.
3. Montrer que si E = Z, alors la proposition est fausse et donner un contre-exemple.
4. Discuter le cas où E = Q et E = R.

Exercice 10.
En utilisant le raisonnement par équivalences successives, montrer que :
r
x2 + 3x + 1 √
1. ∀x ∈ R+ : ≥ x
5
√
2. ∀x ∈ [1, +∞[ : x ≥ 2 x − 1
√ √
3. ∀x ∈ [−2, 2] : 4 − x2 − x ≤ 2 2

Exercice 11.
En utilisant le raisonnement par contraposition, montrer que :
1. ∀x, y, z ∈ R : (x + y ≤ z =⇒ x ≤ 12 z ou y ≤ 12 z)
2. ∀x, y ∈]1, +∞[ : (x ̸= y =⇒ x2 − 2x ̸= y 2 − 2y)
3. ∀a, b ∈ R : (a ̸= 1 et b ̸= 1 =⇒ a + b − ab ̸= 1)

Exercice 12.
En utilisant le raisonnement par la disjonction des cas, montrer que :
1. ∀n ∈ N : n(n2 + 5) est un multiple de 3
√
2. ∀x ∈ R : x2 + 1 − x > 0
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 13.
En utilisant le raisonnement par récurrence, montrer que :
1. ∀n ∈ N∗ : 32n + 26n−5 est un multiple de 11
Xn
2. ∀n ∈ N∗ : (2k + 1) = (n + 1)2
k=0
3. ∀n ∈ N, ∀a > 0 : (1 + a)n ≥ 1 + na (inégalité de Bernoulli)
n
X n(n + 1)(n + 2)
4. ∀n ∈ N∗ : k(k + 1) =
3
k=1
n
X (−1)n−1 n(n + 1)
∗
5. ∀n ∈ N : (−1)k−1 k(k − 1) =
2
k=1
Xn
6. ∀n ∈ N∗ : k 2k−1 = (n − 1) 2n + 1
k=1

Exercice 14.
Montrer que : p
∀x, y ∈ R : |x + y| ≤ 2 x2 + y 2 − xy

Exercice 15.
Montrer que :
(∀x ∈ R) x(1 − x) ≤ 41 .

Exercice 16.
Soient a, b, c trois réels de l’intervalle [0, 1]. Montrer que :
1 1
a(1 − b) ≤ 4 ou b(1 − c) ≤ 4 ou c(1 − a) ≤ 41 .

Soit n ∈ N∗ et soient a1 , a2 , a3 , . . . , an des réels de l’intervalle [0, 1]. On pose :

An = a1 × a2 × · · · × an , Bn = (1 − a1 ) × (1 − a2 ) × · · · × (1 − an ).

Montrer que :
1 n 1 n



An ≤ 2 ou Bn ≤ 2 .

Exercice 17.
Montrer que : p
∀a ∈ N : 9a2 + 30a + 35 ∈
/N
c’est-à-dire que 9a2 + 30a + 35 n’est jamais un carré parfait.
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 18.
Pour tout x ∈ R on pose :
h(x) = x4 − x3 + x2 − x + 1.
1. Vérifier que :
h(x) = x3 (x − 1) + x2 − x + 1,
et que :
h(x) = x2 (x2 − x + 1) + 1 − x.

2. En déduire que :
∀x ∈ R, h(x) > 0.

Exercice 19.

Soient a, b, c > 0 trois réels strictement positifs tels que

ab + bc + ca = 1.

1. Montrer que
a2 + b2 + c2 ≥ 1.

2. Montrer par l’absurde que :

2 2 2
a+b≥ ou b + c ≥ ou c + a ≥ .
3 3 3

Exercice 20.
Soient a, b et c les mesures des trois côtés d’un triangle avec

a + b + c = 1.

1. Montrer que :
1 1 1
a< , b< , c< .
2 2 2
2. Montrer que :
1
a2 + b 2 + c 2 < .
2
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 21.

On considère dans R l’inéquation (I) :

3 7
|x2 − 4| + |1 − x2 | + x − ≤ .
2 2

1. Montrer que
(∀x ∈ R) : |x2 − 4| + |1 − x2 | ≥ 3.

2. En déduire que (I) implique :

3 1
x− ≤ .
2 2
3. Déduire l’ensemble des solutions de l’inéquation (I).

Exercice 22.

1. Considérons la proposition suivante :

ab bc ca (a + b + c)2

(P ) : (∀(a, b, c) ∈]0, +∞[3 ) : a = b = c =⇒ + + =
a+b b+c c+a 2
(a) Vérifier que la proposition (P ) est vraie.
(b) Déterminer la négation de la proposition (P ).
(c) Montrer que :

ab bc ca (a + b + c)2
(∀(a, b, c) ∈]0, +∞[3 ) : + + ≤ .
a+b b+c c+a 2

2. Soient x et y deux réels. Montrer que :

(∀ε > 0; |x − y| ≤ ε) =⇒ (x = y)

3. Résoudre dans R l’inéquation (I) :

p
x2 + 3 ≥ 2x + 1

4. Montrer par récurrence que :

n
∗
X n(2n − 1)(2n + 1)
∀n ∈ N : (2k − 1)2k =
3
k=1
Oussama Lamhadoul Série d’exercices logique 26 septembre 2025

Exercice 23.

1. (a) Montrer que la proposition (P ) :

(∀y ∈ R)(∃x ∈ R) : x2 + xy + y 2 = 0

est fausse.
(b) Montrer que la proposition (Q) :

(∃n ∈ Z) : n − 1 < n(n − 1) ≤ n

est vraie et donner sa négation.

2. (a) Montrer que :

(∀x ∈] − ∞, −2[)(∀y ∈] − ∞, −2[) : x + y + xy > 0

(b) Montrer que :

x+1 y+1
(∀x ∈] − ∞, −2[)(∀y ∈] − ∞, −2[) : x ̸= y =⇒ ̸= 2
x2 + 2x + 2 y + 2y + 2

3. Soit x ∈ [1, +∞[ et y ∈ [4, +∞[. Montrer que :

√
x − 1 + 2 y − 4 = x + y 2 ⇐⇒ x = 2 et y = 8
p

4. Montrer que : p
(∀x ∈ R) : 2 x2 + 1 + x + 2 > 0

5. Montrons que : p
(∀n ∈ N) : n2 + 7n + 12 ∈
/N

6. (a) Montrer par récurrence que :

(∀n ∈ N) : 9 divise (4n + 6n − 1)

(b) Montrer par récurrence que :

(∀n ∈ N∗ ) : 12 + 22 + · · · + n2 ≤ 2 − 1n