Considerando o universo dos números inteiros e que os símbolos ∃ e ∀ representam os quantificadores existencial e universal, respectivamente, assinale a alternativa verdadeira.
A
∀x∀y∃z (x+y<z)
B
∀x∃y∀z (x+y<z)
C
∀x∀y∀z (x+y<z)
D
∃x∀y∀z (x+y<z)
E
∃x∃y∀z (x+y>z)