Pular para o conteúdo principal

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

Raciocínio LógicoTautologia, Contradição e Contingência
Código
qq250378
Banca
COPEVE-UFAL
Órgão
Prefeitura de Roteiro - AL
Ano
2017
Nível
Superior
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, e dado o conjunto de premissas {∀ x (¬P(x) ∧ Q(x))}, qual informação abaixo pode ser inferida?
  1. A∀ x (P(x) ∧ Q(x))
  2. B∃ x (P(x) ∧ Q(x))
  3. C∀ x P(x)
  4. D∀ x Q(x)
  5. E∃ x P(x)
Revelar gabarito e comentário

GabaritoD — ∀ x Q(x)

Link permanente: /questoes/qq250378