No levantamento de requisitos de um sistema, concluiu-se que todo W é X, todo X é Y, e todo Y é Z. Nesse contexto, analise as proposições a seguir.
I - Todo X é Z.
II - Todo Z é Y.
III - Todo Z é X.
IV - Todo X é W.
Está(ão) correta(s) a(s) proposição(ões)
