A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)), ∀ x¬G(x)}, pode-se inferir que