Pular para o conteúdo principal

Questão de Raciocínio Lógico — Proposições Categóricas — COPEVE-UFAL 2019

Raciocínio LógicoProposições Categóricas
Código
qq437576
Banca
COPEVE-UFAL
Órgão
Prefeitura de Porto Calvo - AL
Ano
2019
Nível
Superior
A partir do conjunto de premissas {∀x(F(x)→G(x) ∨ H(x)),∀ x¬G(x)}, pode-se inferir que
  1. A∃ x (F(x)→G(x)).
  2. B∃ x (F(x)→H(x)).
  3. C∃ x (G(x)→F(x)).
  4. D∃ x (H(x)→F(x)).
  5. E∃ x (H(x)→G(x)).
Revelar gabarito e comentário

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

Link permanente: /questoes/qq437576