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-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjunção, di...
Considerando-se que os símbolos ¬, ∧, ∨, →, ↔, ∀ e ∃ representam negação, conjunção, disjunção, implicação, bi-implicação, quantificador universal e quantificador existencial, respectivamente, e considerando-se, ainda, a fórmula ∀x(P(x)→(Q(x)∧¬R(x)))∧∃xR(x)∧∃xQ(x)∧∀xS(x) como verdadeira, pode-se concluir que, necessariamente, tem-se:
A
∃x(P(x)∧R(x))
B
∃x(¬P(x)∧R(x))
C
∀x(Q(x)→P(x))
D
¬∃x(Q(x)∧R(x))
E
∃x(¬S(x)∧¬P(x))