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?