MP2I Chapitre 1 : Logique 2023-2024

Logique propositionnelle
Exercice 1 (Tables de vérité)
Soient A, B, C trois assertions.
1. ((A ⇒ B) ⇒ C) est-elle équivalente à (A ⇒ (B ⇒ C)) ?
2. ((A ⇒ B) ou C) est-elle équivalente à ((A ⇒ C) ou B) ?
3. ((A ⇒ B) et C) est-elle équivalente à (A et C) ⇒ (B et C)?
4. A ⇒ B est-elle équivalente à (non(A)) ou B ?
5. ((A ou B) ⇒ C) est-elle équivalence à ((A ⇒ B) et (B ⇒ C)) ?

Exercice 2 (Le connecteur de Sheffer)

On définit un nouveau connecteur logique, noté ↑ (parfois appelé connecteur de Sheffer, ou nand) en
posant, lorsque p et q sont des assertions :

p ↑ q ⇐⇒ non(p et q).

1. Dire « en français » quand p ↑ q est vraie.

2. Construire sans démonstration la table de vérité de ↑.
La suite de l’exercice se fera sans table de vérité, mais en utilisant les lois de Morgan.
3. Simplifier p ↑ p ainsi que (p ↑ p) ↑ (q ↑ q).
4. En déduire une assertion équivalente à (p et q) ne contenant que p, q et ↑ (éventuellement plusieurs
fois).
Par conséquent, toute assertion contenant les connecteurs non, ou, et peut être réécrite en utilisant
uniquement le connecteur ↑. On dit qu’il forme un système complet.

Négation et quantificateurs
Exercice 3 (Négation)
Nier toutes les affirmations suivantes, et donner la contraposée des affirmations 1 à 4 :
1. Toute suite convergente est bornée.
2. À chaque fois qu’un élève connaît son cours, cela rend le professeur content.
3. Si r ∈ Q alors r 2 ∈ Q.
4. Si f est dérivable alors f est continue.
5. ∀n ∈ N, P(n) vraie ⇒ P(n + 1) vraie.
6. ∀ (λ1 , . . . , λn ) ∈ Rn , λ1 x 1 + · · · + λn x n = 0 ⇒ (λ1 = · · · = λn = 0)
7. ∀(a, b) ∈ A2 , a b = 0 ⇒ (a = 0 ou b = 0)
8. ∀M ∈ Mn (R), ∃N ∈ Mn (R), M N = I n .
9. ∃x ∈ G, ∀ y ∈ G, x y = y x
10. ∀x < y ∈ R, ∃z ∈ Q, x < z < y.
11. ∀(P, Q) ∈ Mn (R)2 , PQ = QP.
12. ∀" > 0, ∃η > 0, ∀x ∈ D f , |x − a| ≤ η ⇒ | f (x) − L| ≤ ".
13. ∀A > 0, ∃n0 ∈ N, ∀n ≥ n0 , un ≥ A.
14. ∀n ∈ N, un ≤ un+1
15. ∀(x, y) ∈ I 2 , x 6= y ⇒ | f (x) − f ( y)| < |x − y|.
16. (∃x ∈ R, e x = 2) et (∀ y ∈ R, e y = 2 ⇒ y = x)

1
MP2I Chapitre 1 : Logique 2023-2024

Exercice 4 (Quantifier et nier)

Écrire les propositions suivantes, ainsi que leurs négations, avec des quantificateurs :

1. f est l’identité de R. 12. f est strictement positive sur R+ et strictement

2. f : R → R envoie les rationnels sur des ration- négative sur R−∗ .
nels. 13. Il existe un réel ayant deux antécédents par f .
3. (un )n∈N est nulle à partir d’un certain rang. 14. Il existe un réel n’ayant aucun antécédent par
f.
4. Il y a une valeur que (un )n∈N prend deux fois.
15. f est à valeurs dans [−1; 1].
5. n est un nombre pair.
16. Tous les éléments de [−1; 1] sont atteints par
6. f est positive sur R+ .
f.
7. f est de signe constant sur R.
17. Tout réel admet un unique antécédent par f .
8. f s’annule sur R.
18. Tout réel admet une unique image par f .
9. f est identiquement nulle sur R. 19. Tout réel positif est le carré d’un réel.
10. f est constante sur R. 20. Tout entier naturel est la somme de quatre car-
11. f est strictement croissante sur R. rés d’entiers naturels.

Implication, démonstration
Exercice 5 (Des cartes)
On dispose de quatre cartes, chacune comportant un chiffre sur un côté et une lettre sur l’autre.

On place les quatre cartes ainsi sur la table : D F 3 7

La règle est : "Si une carte a un D sur l’un des côtés, alors il y a un 3 de l’autre côté. "
Quelles cartes devez-vous retourner afin de vérifier que la règle est bien respectée ?

Exercice 6 (Vrai ou Faux ?)

Déterminer si chacune des assertions suivantes est vraie ou fausse (en le démontrant).
p
1. ∀x ∈ R, ∃(m, M ) ∈ R2 , m ≤ x 2 ≤ M . 12. ∃x ∈ R+ , x < x.
2. ∃(m, M ) ∈ R , ∀x ∈ R, m ≤ x ≤ M .
2 2
13. ∃!x ∈ R, cos(x) = 0.
3. ∀x ∈ R, ∃(m, M ) ∈ R , m ≤ sin(x) ≤ M .
2
14. Pour tout n ∈ N, il existe m ∈ N tel que n × m
4. ∃(m, M ) ∈ R , ∀x ∈ R, m ≤ sin(x) ≤ M .
2 soit impair.
5. ∀x ∈ R, ∃ y ∈ R, y < x. 15. ∀x ∈ R, ∀ y ∈ R, x + y > 0.
6. ∃x ∈ [0; 1], ∀ y ∈ [0; 1], x ≤ y. 16. ∀x ∈ R, ∃ y ∈ R, x + y > 0.
7. 1 + 1 = 2 ⇒ 1 + 1 = 3. 17. ∃ y ∈ R, ∀x ∈ R, x + y > 0.
8. 1 + 1 = 3 ⇒ 1 + 1 = 2. 18. ∃x ∈ R, ∃ y ∈ R, x + y > 0.
p
9. 1 = 0 ⇒ ∃k ∈ N, 3 = 2k. 19. ∀(x, y) ∈ N2 , ∃z ∈ N, z > x + y.
10. ∀x ∈ R, x > 2 ⇒ x ≥ 3. 20. ∀x ∈ R, ∃ y ∈ R, ln(ln( y)) > x.
1
11. ∀(x, y) ∈ (R∗ )2 , x < y ⇒ x > 1y . 21. ∀(x, y) ∈ R2 , x + y = 0 ⇒ (x = y = 0).
Exercice 7 (Par l’absurde)
Soient a, b, c trois réels tels que a + b + c = 1. Montrer que l’un de ces nombres est supérieur ou égal à 13 .
p
Exercice 8 (Irrationalité de 2) p p
Supposons qu’il existe p et q deux entiers avec q ≥ 1 tels que 2 s’écrive q de façon irréductible.
1. Montrer que p2 est pair, puis que p est pair.
2. En déduire que q est pair, puis conclure.

2
MP2I Chapitre 1 : Logique 2023-2024

Exercice 9 p p
Soient a, b, c, d des nombres rationnels tels que a + b 2 = c + d 2.
En utilisant un raisonnement par l’absurde ainsi que le résultat de l’exercice précédent, montrer que a = c
et b = d.
Exercice 10
Montrer que ln(3)/ ln(2) est irrationnel.

Exercice 11 (Implications ou équivalence ?)

Compléter par ⇒, ⇐ ou ⇔.

(a) x 2 = 9 . . . x = 3 (c) x ≥ x 2 . . . x ≥ 0 (e) |x| ≤ 3 . . . 0 ≤ x ≤ 3

−3 p
(b) ln x = −3 . . . x = e (d) x existe . . . x ≥ 0 (f) |x| ≥ 5 . . . 5 ≤ x
Exercice 12
Soient x et y deux nombres réels non nuls. Montrer que (x − y)4 et (x + y)4 sont distincts.

Exercice 13
Soit r ∈ R. Prouver l’équivalence suivante :

p p
∃(p, q) ∈ Z × Z∗ , r = ⇐⇒ ∃(p, q) ∈ Z × N∗ , r =
q q

Exercice 14
Soit f : R → R. Prouver l’équivalence suivante :

∀(x, y) ∈ R2 , f (x) = f ( y) ⇐⇒ ∃λ ∈ R, ∀x ∈ R, f (x) = λ

Exercice 15
Soit (un )n∈N une suite et soit L ∈ R. Prouver les équivalences suivantes :
1. (∀" > 0, ∃n0 , ∀n ∈ N, n ≥ n0 ⇒ |un − L| ≤ ") ⇐⇒ (∀" > 0, ∃n0 , ∀n ∈ N, n ≥ n0 ⇒ |un − L| ≤ 2").
2. (∀A ∈ R, ∃n0 , ∀n ∈ N, n ≥ n0 ⇒ un ≥ A) ⇐⇒ (∀A ∈ R+ , ∃n0 , ∀n ∈ N, n ≥ n0 ⇒ un ≥ A).

Exercice 16
Soit (A, B) ∈ R2 . Montrer : (∀" > 0, A < B + ") ⇒ A ≤ B. Que dire de la réciproque ?

Exercice 17
Soit X un ensemble. Pour n ∈ N∗ , soit f n : X → R une fonction. On considère les énoncés suivants :
(A) ∀x ∈ X , ∀n ∈ N∗ , ∃M ∈ R+ , f n (x) ≤ M
(B) ∀x ∈ X , ∃M ∈ R+ , ∀n ∈ N∗ , f n (x) ≤ M
(C) ∀n ∈ N∗ , ∃M ∈ R+ , ∀x ∈ X , f n (x) ≤ M
(D) ∃M ∈ R+ , ∀n ∈ N∗ , ∀x ∈ X , f n (x) ≤ M
1. Que peut-on dire de l’énoncé (A) ? (vrai ou faux)
2. Comparer (B) et (D) puis (C) et (D). (établir des implications).
3. Examiner les valeurs logiques de (A), (B), (C) et (D) dans les trois cas suivants :
  
[0; 1] → R [0; 2] → R R+ → R
(a) f n : (b) f n : (c) f n : .
x 7→ x n
x 7→ x n
x 7→ nx

Exercice 18
Quelles sont les fonctions f de R dans R caractérisées par les propriétés suivantes ?
1. ∃a ∈ R, ∃b ∈ R, ∀x ∈ R, f (x) = a x + b ;
2. ∀x ∈ R, ∃a ∈ R, ∃b ∈ R, f (x) = a x + b.

3
MP2I Chapitre 1 : Logique 2023-2024

Exercice 19
Soit E un ensemble. Les assertions suivantes sont-elles équivalentes ?
   
1. (∀x ∈ E, P(x)) ou (∀x ∈ E, Q(x)) et ∀x ∈ E, (P(x) ou Q(x)) .
   
2. ∃x ∈ E, P(x) et Q(x) et (∃x ∈ E, P(x)) et (∃x ∈ E, Q(x)) .
   
3. (∀x ∈ E, P(x)) et (∀x ∈ E, Q(x)) et ∀x ∈ E, (P(x) et Q(x)) .
   
4. ∃x ∈ E, P(x) ou Q(x) et (∃x ∈ E, P(x)) ou (∃x ∈ E, Q(x)) .

Exercice 20
Une feuille de papier comporte les cent affirmations suivantes :
— Cette feuille contient exactement une phrase fausse.
— Cette feuille contient exactement deux phrases fausses.
..
.
— Cette feuille contient exactement cent phrases fausses.
Quelles sont les affirmations vraies écrites sur cette feuille ?

Exercice 21
Écrire en langage mathématique les ensembles suivants :
1. L’ensemble des entiers naturels divisibles par 7.
2. L’ensemble des fractions d’entiers (relatifs) dont le dénominateur est une puissance de 3 .
3. L’ensemble des entiers qui sont somme de deux carrés d’entiers.
4. L’ensemble des inverses d’entiers naturels (non nuls).
5. L’ensemble des carrés parfaits.

Exercice 22
Donner une condition nécessaire et suffisante sur (a, b) ∈ R2 pour que la fraction

a+b b2
2 + a−b
f (a, b) = a+b ab
2 − a+b

soit bien définie. Cette condition étant supposée remplie, simplifier f (a, b) au maximum.

Analyse-Synthèse
Exercice 23 (Isométries de R)
On chercher à déterminer toutes les fonctions f : R → R telles que :

∀(x, y) ∈ R2 , | f (x) − f ( y)| = |x − y|.

1. Analyse : Soit f une telle fonction. On pose δ : x 7→ f (x) − f (0), définie sur R.
(a) En étudiant la quantité ( f (x) − f ( y))2 , montrer que pour tous x, y ∈ R, δ(x)δ( y) = x y.
(b) En déduire la forme de f .
2. Synthèse : Conclure.

Exercice 24
Montrer que toute fonction continue f : R → R s’écrit de façon unique sous la forme f = g + h où h est
R 2022
constante et g est continue et vérifie 0 g(t)dt = 0.

Exercice 25
Déterminer par analyse-synthèse
1. toutes les fonctions f : N → N telles que pour tous m, n ∈ N : f (m + n) = f (m) f (n).
2. toutes les fonctions f : R → R dérivables telles que pour tous x, y ∈ R : f (x + y) = f (x) + f ( y).

4
MP2I Chapitre 1 : Logique 2023-2024

Bonus : l’alphabet grec et la conjugaison du verbe résoudre.

Minuscule Majuscule Français Futur :
Présent : α A alpha Je résoudrai
Je résous β B bêta Tu résoudras
Tu résous γ Γ gamma Il résoudra
Il résout δ ∆ delta Nous résoudrons
Nous résolvons ", ε E epsilon Vous résoudrez
Vous résolvez Ils résoudront
ζ Z zêta
Ils résolvent
η H êta
θ Θ thêta Conditionnel présent :
ι I iota Je résoudrais
Passé composé : κ K kappa Tu résoudrais
J’ai résolu λ Λ lambda Il résoudrait
Tu as résolu µ M mu Nous résoudrions
Il a résolu ν N nu Vous résoudriez
Nous avons résolu ξ Ξ xi Ils résoudraient
Vous avez résolu o O omicron
Ils ont résolu π Π pi
ρ P rhô
Subjonctif présent :
σ Σ sigma
Que je résolve
τ T tau
Impératif : Que tu résolves
v Υ upsilon
Résous Qu’il résolve
φ, ϕ Φ phi
Résolvons Que nous résolvions
χ X chi Que vous résolviez
Résolvez
ψ Ψ psi Qu’ils résolvent
ω Ω oméga