Q852294 - COPEVE-UFAL - 2023 - IFAL - AL - Contador

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)

Q852294 - COPEVE-UFAL - 2023 - IFAL - AL - Contador

Raciocínio Lógico