Questão em destaque · Q2997255

Considerando-se que os símbolos ¬, ∧, ∨, →, ∃ e ∀ representam negação, conjunção, disjunção, implicação, quantificador existencial e quantificador universal, respectivamente, qual

COPEVE/UFAL - FUNDEPES · UFAL · 2023 · Pedagogo

Resolva a questão abaixo e continue estudando com o banco de questões.

P2997255

ID: 2997255

Raciocínio LógicoAssunto: Operações Lógicas / Conectivos Lógicos

Banca: COPEVE/UFAL - FUNDEPES

Ano: 2023

Nível: Superior

Considerando-se que os símbolos ¬, ∧, ∨, →, ∃ e ∀ representam negação, conjunção, disjunção, implicação, quantificador existencial e quantificador universal, respectivamente, qual das alternativas apresenta uma consequência lógica do conjunto de premissas:

{ ∃ x ¬P(x) → ∀ x H(x); ¬∀ x H(x) ∨ ∀ x T(x); ∃ x P(x) → ∃ x R(x); ∀ x (¬Q(x) ∧ ¬R(x)) }?