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.
A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)),∀...
A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)),∀ x¬G(x)}, pode-se inferir que
A
∃ x (F(x)→G(x)).
B
∃ x (F(x)→H(x)).
C
∃ x (G(x)→F(x)).
D
∃ x (H(x)→F(x)).
E
∃ x (H(x)→G(x)).