Sabe-se que existe pelo menos um A que é B. Sabe-se, também, que todo B é C. Segue-se, portanto, necessariamente que todo C é B todo C é A algum A...

Sabe-se que existe pelo menos um A que é B. Sabe-se, também, que todo B é C. Segue-se, portanto, necessariamente que

todo C é B
todo C é A
algum A é C
nada que não seja C é A
algum A não é C
a) 1 e 2 são corretas.
b) 2 e 3 são corretas.
c) 1 e 4 são corretas.
d) 3 e 4 são corretas.
e) 1 e 5 são corretas.