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 ∀...
Considerando-se que os símbolos ¬, ∧, ∨, →, ∃ e ∀ representam negação, conjunção, disjunção, implicação, quantificador existencial e quantificador universal, respectivamente, qual das alternativas apresenta uma consequência lógica do conjunto de premissas:
{ ∃ x ¬P(x) → ∀ x H(x); ¬∀ x H(x) ∨ ∀ x T(x); ∃ x P(x) → ∃ x R(x); ∀ x (¬Q(x) ∧ ¬R(x)) }?
A
∃ x T(x)
B
∃ x R(x)
C
∃ x P(x)
D
∃ x Q(x)
E
∃ x ¬H(x)