Raciocínio lógicoProposições categóricas

• (COPEVE-UFAL 2019)

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


Próximo:
EXERCÍCIOS - Exercício 22

Vamos para o Anterior: Exercício 20

Tente Este: Exercício 57

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico