Para resolvermos essa questão, faremos, inicialmente, uma revisão rápida sobre os Diagramas de Euler-Venn.

A questão traz as seguintes afirmações: “existe pelo menos um A que é Be todo B é C”, ou seja, temos uma proposição no formato “Algum A é B” e outra no formato “Todo A é B”.

Fazendo um diagrama da proposição “Algum A é B”, temos que:

A partir do diagrama, é possível fazer considerações sobre as seguintes proposições:

“Nenhum A é B” é necessariamente falsa.
“Todo A é B” e “Algum A não é B” são indeterminadas.

Fazendo um diagrama da proposição “Todo A é B”, temos que:

A partir do diagrama, é possível fazer considerações sobre as seguintes proposições:

“Algum A é B” é necessariamente verdadeira.
“Nenhum A é B” é necessariamente falsa.
“Algum A não é B” é necessariamente falsa.
“Todo B é A" é indeterminada, ou seja, no primeiro caso é falsa e no segundo é verdadeira.