Questão de Testes Anteriores

Leia com atenção e escolha uma alternativa. A correção aparece depois da sua resposta.

Enunciado

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