ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 1 — Ensembles et logique · Opérations sur les ensembles

Exercice 23

Vrai ou faux

On considère le diagramme ci-dessous, où AA, BB et CC sont trois parties d'un ensemble EE, et où aa, bb, cc, dd, ee, ff, gg et hh sont des éléments de EE. Les complémentaires sont pris dans EE.

Figure

Dire si les assertions suivantes sont vraies ou fausses, en justifiant.

1. g∈A∩B‾g \in A \cap \overline{B}

2. g∈A‾∩B‾g \in \overline{A} \cap \overline{B}

3. g∈A‾∪B‾g \in \overline{A} \cup \overline{B}

4. f∈C∩Af \in C \cap A

5. e∈A‾∩B‾∩C‾e \in \overline{A} \cap \overline{B} \cap \overline{C}

6. {h  ; b}⊂A‾∩B‾\{h \;;\, b\} \subset \overline{A} \cap \overline{B}

7. {a  ; f}⊂A∪C\{a \;;\, f\} \subset A \cup C

Corrigé

La lecture du diagramme donne : A={a  ;  d  ;  e  ;  f}B={c  ;  d  ;  e  ;  g}C={e  ;  f  ;  g  ;  h}A = \{a \;;\; d \;;\; e \;;\; f\} \qquad B = \{c \;;\; d \;;\; e \;;\; g\} \qquad C = \{e \;;\; f \;;\; g \;;\; h\} et donc, les complémentaires étant pris dans EE : A‾={b  ;  c  ;  g  ;  h}B‾={a  ;  b  ;  f  ;  h}C‾={a  ;  b  ;  c  ;  d}\overline{A} = \{b \;;\; c \;;\; g \;;\; h\} \qquad \overline{B} = \{a \;;\; b \;;\; f \;;\; h\} \qquad \overline{C} = \{a \;;\; b \;;\; c \;;\; d\}

1. L'élément gg n'appartient pas à AA, donc pas à A∩B‾A \cap \overline{B} : 𝐅𝐚𝐮𝐬𝐬𝐞\boxed{\textbf{Fausse}}

2. L'élément gg appartient à BB, donc pas à B‾\overline{B} : 𝐅𝐚𝐮𝐬𝐬𝐞\boxed{\textbf{Fausse}}

3. L'élément gg n'appartient pas à AA, donc g∈A‾g \in \overline{A}, et il suffit d'appartenir à l'un des deux ensembles d'une réunion : 𝐕𝐫𝐚𝐢𝐞\boxed{\textbf{Vraie}}

4. L'élément ff appartient à la fois à AA et à CC : 𝐕𝐫𝐚𝐢𝐞\boxed{\textbf{Vraie}}

5. L'élément ee appartient aux trois ensembles AA, BB et CC : 𝐅𝐚𝐮𝐬𝐬𝐞\boxed{\textbf{Fausse}}

6. Les éléments hh et bb n'appartiennent ni à AA ni à BB : 𝐕𝐫𝐚𝐢𝐞\boxed{\textbf{Vraie}}

7. On a a∈Aa \in A et f∈Af \in A, donc les deux appartiennent à A∪CA \cup C : 𝐕𝐫𝐚𝐢𝐞\boxed{\textbf{Vraie}}

Piège : les assertions 1 et 2 sont fausses pour des raisons différentes — la première parce que g∉Ag \notin A, la seconde parce que g∈Bg \in B. Il ne suffit pas de constater qu'une assertion est fausse, il faut dire quel facteur la met en défaut.

Dans l'édifice

Thèmes

inclusion et égalité, opérations ensemblistes

Notions

ensemble

Ouvrir dans l'atlas interactif →