Pular para o conteúdo

Questão de Testes Anteriores

Leia com atenção e escolha uma alternativa. A correção aparece depois da sua resposta.
  • Testes Anteriores
  • COPEVE/UFAL
  • 2019
  • Média

Enunciado

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, a partir de qual dos conjuntos de premissas abaixo pode-se chegar à conclusão de que ∃ x P(x) ∧ ∃ x Q(x)?

Escolha uma alternativa

Preparando sua resposta…