Considere as proposições abaixo: Todo médico é estudioso. Alguns estudiosos são músicos. Nessas condições, pode-se concluir logicamente que

Gabarito

D

Comentário do professor

Todo médico é estudioso significa que o conjunto dos médicos está contido no conjunto dos estudiosos, ou seja, \(M \subseteq E\).

Alguns estudiosos são músicos afirma a existência de elementos em \(E\) que pertencem também ao conjunto dos músicos, portanto \(E\) não é vazio.

As premissas não dizem que todo elemento de \(E\) pertence a \(M\). Como \(M\) está contido em \(E\), ainda é possível que existam elementos de \(E\) fora de \(M\).

Logo, é logicamente consistente concluir que alguns estudiosos podem não ser médicos, pois as informações dadas permitem estudiosos que não pertençam ao subconjunto dos médicos.