Vocabulaire ensembliste et logique
- 1
Exercice 1
FacileOn considère l'ensemble , ainsi que ses sous-ensembles et .
- Compléter avec le symbole ou : , , .
- L'affirmation est-elle vraie ? Justifier.
- Déterminer et .
- Déterminer le complémentaire de dans .
- Donner et .
Voir un indice
L'intersection contient les éléments communs, la réunion contient tous les éléments de l'un ou l'autre. Le complémentaire est formé des éléments de qui ne sont pas dans .
Voir la correction
- (les éléments de sont pairs), , .
- Vrai : tous les éléments de (à savoir ) appartiennent à , donc .
- Les éléments communs sont et , donc . La réunion regroupe tous les éléments : .
- Les éléments de absents de sont , donc .
- et .
- 2
Exercice 2
FacileOn travaille dans l'ensemble des nombres réels. On pose les intervalles et .
- Le nombre appartient-il à ? à ?
- Déterminer et .
- Déterminer le complémentaire de dans .
Voir un indice
Un crochet tourné vers l'extérieur exclut la borne. Pour l'intersection d'intervalles, on peut s'aider d'un axe gradué.
Voir la correction
- Dans la borne est exclue, donc . Dans la borne est incluse et est bien entre et , donc .
- L'intersection est l'ensemble des réels appartenant aux deux intervalles : . La réunion est .
- Le complémentaire de dans est .
- 3
Exercice 3
Facile- Parmi les phrases suivantes, indiquer lesquelles sont des propositions mathématiques (auxquelles on peut attribuer une valeur vraie ou fausse) :
(a) « est un nombre pair » ; \quad (b) « » ; \quad (c) « pour tout réel , ».
- Écrire la négation de la propriété (portant sur l'entier ) : « L'entier est pair et est supérieur à ».
- Donner un contre-exemple à la proposition : « Tout nombre entier est divisible par ».
Voir un indice
La négation de « et » est « ou », et l'on nie chaque morceau. Un contre-exemple est un seul cas particulier qui rend la proposition fausse.
Voir la correction
- (a) est une proposition (elle est d'ailleurs fausse). (b) n'est pas une proposition : « » est une expression, pas une phrase que l'on peut déclarer vraie ou fausse. (c) est une proposition (elle est vraie).
- La négation est : « L'entier est impair ou est inférieur ou égal à ».
- L'entier n'est pas divisible par : c'est un contre-exemple, donc la proposition est fausse.
- 4
Exercice 4
FacileOn considère les ensembles et .
- Rappeler ce qu'est un couple, puis écrire tous les éléments du produit cartésien .
- Combien d'éléments possède ? Vérifier la relation .
Voir un indice
Un couple est ordonné : et ne se confondent pas. On associe à chaque élément de chacun des éléments de .
Voir la correction
- Un couple est la donnée ordonnée de deux éléments, un premier et un second . On obtient :
- Il y a couples. Or et , et : la relation est bien vérifiée.
- 5
Réciproque et contraposée d'une implication
MoyenOn considère la proposition : « Si , alors ».
- La proposition est-elle vraie ?
- Énoncer la réciproque de et dire si elle est vraie ou fausse (justifier).
- Énoncer la contraposée de et préciser sa valeur de vérité.
Voir un indice
La réciproque de « si alors » est « si alors ». La contraposée est « si (non ) alors (non ) » : elle a toujours la même valeur de vérité que la proposition de départ.
Voir la correction
- 6
Preuve par disjonction de cas
MoyenLe but est de montrer, par disjonction de cas, la proposition suivante :
« Pour tout entier naturel , le produit est pair ».
- Traiter le cas où est pair.
- Traiter le cas où est impair.
- Conclure.
Voir un indice
Un entier pair s'écrit , un entier impair s'écrit , avec entier. Un produit est pair dès que l'un de ses facteurs l'est.
Voir la correction
- 7
Intersection, union et complémentaire d'intervalles
MoyenDans , on pose et .
- Déterminer et .
- Déterminer le complémentaire de dans .
- Décrire par un intervalle l'ensemble des réels tels que et .
Voir un indice
Représenter les deux intervalles sur un même axe. « et » signifie .
Voir la correction
- 8
Exercice 8
DifficileDans une classe de élèves, étudient l'anglais, étudient l'espagnol et étudient les deux langues. On note l'ensemble des élèves étudiant l'anglais et celui des élèves étudiant l'espagnol.
- Traduire les données à l'aide de , et .
- En observant qu'en additionnant et on compte deux fois les élèves de , déterminer .
- En déduire le nombre d'élèves qui n'étudient aucune de ces deux langues.
Voir un indice
Voir la correction
- 9
Exercice 9
DifficileOn souhaite démontrer, par un raisonnement par l'absurde, la proposition :
« Il n'existe pas de plus grand entier naturel ».
- Écrire l'hypothèse de départ du raisonnement par l'absurde (la négation de la proposition à démontrer).
- À partir de cet entier supposé maximal, construire un entier strictement plus grand.
- Conclure.
Voir un indice
Voir la correction
