Vocabulaire ensembliste et logique
- 1
Exercice 1
FacileOn considère l'ensemble ainsi que les parties et .
- Compléter par le symbole ou : , , .
- Parmi les ensembles suivants, lesquels sont des sous-ensembles (parties) de : , , , ? Justifier avec le symbole .
- Déterminer , et le complémentaire .
Voir un indice
Un élément appartient () à un ensemble ; un ensemble est inclus () dans un autre si tous ses éléments appartiennent au second. L'intersection contient les éléments communs, la réunion tous les éléments de l'un ou de l'autre. Le complémentaire de dans contient les éléments de qui ne sont pas dans .
Voir la correction
- (il figure dans la liste des éléments de ) ; ; .
- car son seul élément appartient à . car . (l'ensemble vide est inclus dans tout ensemble). car et .
- (éléments communs). . (les éléments de absents de ).
- 2
Exercice 2
FacileOn travaille dans . On pose et .
- Représenter et sur une droite graduée.
- Déterminer et , et les écrire sous forme d'intervalle.
- Déterminer .
Voir un indice
Pour l'intersection, on cherche les réels appartenant aux deux intervalles à la fois ; pour la réunion, ceux appartenant à au moins l'un des deux. Attention aux crochets ouverts (borne exclue) et fermés (borne incluse). Le complémentaire d'un intervalle dans est en général une réunion de deux intervalles.
Voir la correction
- va de (inclus) à (exclu) ; va de (exclu) à (inclus).
- Un réel est dans s'il vérifie et , c'est-à-dire : donc . Pour la réunion, on couvre de (inclus) à (inclus) sans trou : .
- . La borne est incluse (car ) et est exclue (car ).
- 3
Exercice 3
FacilePour chacune des propositions suivantes, préciser si elle est vraie ou fausse, puis écrire sa négation.
- : « est un nombre pair et est un nombre premier. »
- : « est un entier ou . »
- : « . »
Voir un indice
La négation de « et » est « (non ) ou (non ) » ; la négation de « ou » est « (non ) et (non ) ». La négation de est . Une proposition « et » est vraie seulement si les deux morceaux le sont ; une proposition « ou » est vraie dès qu'au moins un morceau l'est.
Voir la correction
- est fausse : n'est pas pair (le premier morceau est faux, donc le « et » est faux). Négation : « n'est pas pair ou n'est pas premier. » Cette négation est vraie.
- est vraie : n'est pas entier, mais est vrai, donc le « ou » est vrai. Négation : « n'est pas un entier et . » Cette négation est fausse.
- est vraie. Négation : « », qui est fausse.
- 4
Exercice 4
FacileOn note l'ensemble des multiples de compris entre et , et l'ensemble des multiples de compris entre et .
- Écrire et en extension (liste de leurs éléments).
- Déterminer . Que représentent ses éléments ?
- Traduire par une phrase la proposition « » à l'aide de « et ».
Voir un indice
Lister d'abord soigneusement les multiples de chaque nombre. L'appartenance à l'intersection se traduit toujours par une conjonction (« et ») : signifie et .
Voir la correction
- et .
- . Son unique élément est le seul nombre entre et qui est à la fois multiple de et de , c'est-à-dire multiple de .
- « » signifie : « est un multiple de et est un multiple de » (avec ).
- 5
Implication, réciproque et équivalence
MoyenSoit un nombre réel. On considère les propositions :
- Écrire l'implication et démontrer qu'elle est vraie.
- Écrire la réciproque . Est-elle vraie ? Justifier.
- A-t-on l'équivalence ? Sinon, corriger pour obtenir une équivalence.
Voir un indice
L'implication se lit « si alors ». Pour la réciproque, on échange hypothèse et conclusion. Une équivalence signifie que les deux implications sont vraies simultanément. Pour réfuter une implication, un seul contre-exemple suffit.
Voir la correction
- 6
Réfuter par contre-exemple
MoyenRéfuter chacune des affirmations suivantes en donnant un contre-exemple, puis, si possible, énoncer une correction rendant l'affirmation vraie.
- « Pour tout réel , on a . »
- « Pour tout entier naturel , le nombre est un nombre premier. »
- « Si un réel vérifie , alors . »
Voir un indice
Pour montrer qu'une proposition « pour tout , … » est fausse, il suffit d'exhiber une seule valeur qui la met en défaut. Tester des valeurs bien choisies : nombres entre et , valeurs particulières de , nombres négatifs.
Voir la correction
- 7
Lois de De Morgan
MoyenSoit un ensemble et , deux parties de . On admet les lois de De Morgan :
- Dans , avec et , vérifier sur cet exemple la première loi de De Morgan.
- Expliquer avec des mots pourquoi « ne pas être dans » revient à « n'être ni dans , ni dans ».
- En déduire la négation de la proposition : « ou ».
Voir un indice
Calculer séparément le membre de gauche et le membre de droite, puis comparer. Les lois de De Morgan sur les ensembles sont la traduction ensembliste des règles de négation de « et » / « ou » : appartenir à un complémentaire, c'est ne pas appartenir à l'ensemble.
Voir la correction
- 8
Exercice 8
DifficileOn rappelle que le symbole se lit « pour tout » et « il existe ». On considère les propositions portant sur les réels :
- Traduire et en français courant, et déterminer si chacune est vraie ou fausse.
- Écrire la négation de et la négation de (on rappelle que nier un « pour tout » donne un « il existe », et réciproquement).
- La proposition est fausse. Écrire sa négation sous forme quantifiée et la justifier.
Voir un indice
Voir la correction
- 9
Exercice 9
DifficileDans une classe de élèves, étudient l'espagnol, étudient l'allemand, et étudient les deux langues. On note l'ensemble des élèves étudiant l'espagnol et ceux étudiant l'allemand. On admet la formule d'inclusion-exclusion : pour deux ensembles finis,
- Interpréter en français les nombres , et .
- Combien d'élèves étudient au moins l'une des deux langues ?
- En déduire combien d'élèves n'étudient aucune de ces deux langues.
- Combien d'élèves étudient l'espagnol mais pas l'allemand ?
Voir un indice
Voir la correction
