Question

1) Sabe-se que existe pelo menos um A que é B. Sabe-se, também, que todo B é C. Segue-se, portanto, necessariamente que: a) todo C é B b) todo C é A c) algum A é C d) nada que não seja C é A e) algum A não é CQual alternativa está correta?

Answer 1

a) Falso. "Todo B é C" não implica em "todo C é B". Por exemplo, "todo número terminado em 0 é par" não implica em "todo número par termina em 0". 
b) Falso. Se houver um A que não é B, pode não ser C. 
c) Verdadeiro. Existe um A que é B e forçosamente todo B é C. 
d) Falso. Pode não haver um A que não seja B. 
e) Falso. Pode não haver um A que não seja B.