Todas as bailarinas são magras. Logo, necessariamente,

Gabarito

B

Comentário do professor

“Todas as bailarinas são magras.” Significa que, se alguém é bailarina, então essa pessoa também é magra. Em linguagem de conjuntos, todo elemento do conjunto das bailarinas pertence ao conjunto das pessoas magras.

Isso pode ser escrito simbolicamente como \(B \subseteq M\), onde \(B\) representa as bailarinas e \(M\) as pessoas magras. A seta lógica é: x ∈ B ⇒ x ∈ M.

Daí decorre que o conjunto das pessoas magras contém o conjunto das bailarinas. Nada impede que existam pessoas magras que não sejam bailarinas; o importante é a relação de inclusão de \(B\) em \(M\).