Pular para o conteúdo principal

Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — COPEVE-UFAL 2023

Raciocínio LógicoTautologia, Contradição e Contingência
Código
qq852710
Banca
COPEVE-UFAL
Órgão
IF-AL
Ano
2023
Nível
Superior
Considerando o universo dos números inteiros e que os símbolos ∃ e ∀ representam os quantificadores existencial e universal, respectivamente, assinale a alternativa verdadeira.
  1. A∀x∀y∃z (x+y<z)
  2. B∀x∃y∀z (x+y<z)
  3. C∀x∀y∀z (x+y<z)
  4. D∃x∀y∀z (x+y<z)
  5. E∃x∃y∀z (x+y>z)
Revelar gabarito e comentário

GabaritoA — ∀x∀y∃z (x+y<z)

Link permanente: /questoes/qq852710