ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Propositions et connecteurs

Exercice 1

Calcul

Pour chacun des énoncés suivants, dire s'il s'agit d'une proposition. Le cas échéant, donner sa valeur de vérité en justifiant.

1. 3+4=83 + 4 = 8

2. x2−1x^{2} - 1

3. Tout entier naturel est positif ou nul.

4. 2∈ℚ\sqrt{2} \in \mathbb{Q}

5. Soit nn un entier naturel.

6. n2⩾nn^{2} \geqslant n

7. Pour tout entier naturel nn, on a n2⩾nn^{2} \geqslant n.

8. Pour tout réel xx, on a x2⩾xx^{2} \geqslant x.

Corrigé

1. L'égalité 3+4=83 + 4 = 8 peut être qualifiée de vraie ou de fausse : c'est une proposition. Or 3+4=73 + 4 = 7, donc : Proposition 𝐅𝐚𝐮𝐬𝐬𝐞\boxed{\text{Proposition } \textbf{Fausse}}

2. L'écriture x2−1x^{2} - 1 ne peut être ni vraie ni fausse. Ce n’est pas une proposition, mais une expression.\boxed{\text{Ce n'est pas une proposition, mais une expression.}}

3. Tout entier naturel est supérieur ou égal à 00 : Proposition 𝐕𝐫𝐚𝐢𝐞\boxed{\text{Proposition } \textbf{Vraie}}

4. Le cours démontre que 2\sqrt{2} est irrationnel : Proposition 𝐅𝐚𝐮𝐬𝐬𝐞\boxed{\text{Proposition } \textbf{Fausse}}

5. « Soit nn un entier naturel » introduit une notation ; on ne peut pas lui attribuer de valeur de vérité. Ce n’est pas une proposition.\boxed{\text{Ce n'est pas une proposition.}}

6. L'énoncé n2⩾nn^{2} \geqslant n dépend de nn, qui n'est ici ni fixé ni quantifié : il est vrai pour n=2n = 2, faux pour n=12n = \frac{1}{2}. Ce n’est pas une proposition, mais un preˊdicat : une proposition deˊpendant d’une variable.\boxed{\text{Ce n'est pas une proposition, mais un \emph{prédicat} : une proposition dépendant d'une variable.}}

7. Le quantificateur fixe désormais le statut de nn. Pour n=0n = 0 et n=1n = 1 on a n2=nn^{2} = n ; pour n⩾2n \geqslant 2, on a n2=n×n⩾n×1=nn^{2} = n \times n \geqslant n \times 1 = n. Proposition 𝐕𝐫𝐚𝐢𝐞\boxed{\text{Proposition } \textbf{Vraie}}

8. On procède de la même manière, mais sur ℝ\mathbb{R}. Pour x=12x = \dfrac{1}{2} : x2=14<12=xx^{2} = \frac{1}{4} < \frac{1}{2} = x

Proposition 𝐅𝐚𝐮𝐬𝐬𝐞\boxed{\text{Proposition } \textbf{Fausse}}

Piège : les énoncés 6 et 7 diffèrent d'un seul mot. C'est le quantificateur qui transforme un prédicat en proposition ; sans lui, la question « est-ce vrai ? » n'a pas de sens.

Dans l'édifice

Thèmes

propositions

Ouvrir dans l'atlas interactif →