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

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

Próxima Questão