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?
Questão
2017
COPEVE (UFAL)
Prefeitura Municipal de São Miguel dos Campos (AL)
Procurador municipal
Considerando-que37d77968d3
A
∀ x (P(x) ∧ Q(x))
B
∃ x (P(x) ∧ Q(x))
C
∀ x P(x)
D
∀ x Q(x)
E
∃ x P(x)