ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Propositions et connecteurs
Exercice 1
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.
2.
3. Tout entier naturel est positif ou nul.
4.
5. Soit un entier naturel.
6.
7. Pour tout entier naturel , on a .
8. Pour tout réel , on a .
Corrigé
1. L'égalité peut être qualifiée de vraie ou de fausse : c'est une proposition. Or , donc :
2. L'écriture ne peut être ni vraie ni fausse.
3. Tout entier naturel est supérieur ou égal à :
4. Le cours démontre que est irrationnel :
5. « Soit un entier naturel » introduit une notation ; on ne peut pas lui attribuer de valeur de vérité.
6. L'énoncé dépend de , qui n'est ici ni fixé ni quantifié : il est vrai pour , faux pour .
7. Le quantificateur fixe désormais le statut de . Pour et on a ; pour , on a .
8. On procède de la même manière, mais sur . Pour :
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.