Imagem de fundo

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam...

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?


A

∀ x (P(x) ∧ Q(x))


B

∃ x (P(x) ∧ Q(x))


C

∀ x P(x)


D

∀ x Q(x)


E

∃ x P(x)