Questão de Testes Anteriores
Escolha uma alternativa ou mostre a resposta sem ganhar XP. Ao acertar, você avança para a próxima questão da mesma matéria em 3 segundos; ao terminar a matéria, segue para outra.
- 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)?