A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)),∀ x¬G(x)}, pode-se inferir que Alternativa A: ∃ x (F(x)→G(x)). Ou Alternativa B: ∃ x (F(x)→H(x)). Ou Alternativa C: ∃ x (G(x)→F(x)). Ou Alternativa D: ∃ x (H(x)→F(x)). Ou Alternativa E: ∃ x (H(x)→G(x)).

Alternativa [B] ∃ x (F(x)→H(x)).

A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)),∀ x¬...

Com base no mesmo assunto

Q2043355

Ano: 2019 Banca: COPEVE-UFAL Órgão: Prefeitura de Porto Calvo - AL Prova: COPEVE-UFAL - 2019 - Prefeitura de Porto Calvo - AL - Contador |

Q2043355 Raciocínio Lógico

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

∃ x (F(x)→G(x)).

∃ x (F(x)→H(x)).

∃ x (G(x)→F(x)).

∃ x (H(x)→F(x)).

∃ x (H(x)→G(x)).

Você errou! Resposta:

teste

Parabéns! Você acertou!

teste