

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
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?
∀ x (P(x) ∧ Q(x))
∃ x (P(x) ∧ Q(x))
∀ x P(x)
∀ x Q(x)
∃ x P(x)