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...
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)?
A
{∀ x (P(x) ∨ Q(x))}
B
{∀ x (P(x) ∧ Q(x))}
C
{∃ x ¬(P(x) ∧ Q(x))}
D
{∀ x (¬P(x) ∧ Q(x))}
E
{∃ x (P(x) ∨ ¬Q(x))}