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)).

Incorreta. Gabarito oficial da banca:

Veja esse conteúdo explicado passo a passo em nossos cursos. Buscar curso

teste

Parabéns! Você acertou!

Mandou bem! Revise esse tema nos nossos cursos. Buscar curso

teste