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)?