Questão em destaque · Q2769524
Considerando que os símbolos ¬, ∧, ∨, →, ∀ e ∃ representam negação, conjunção, disjunção, implicação, quantificador universal e quantificador existencial, respectivamente, assinale
COPEVE/UFAL - FUNDEPES · IFAL · 2023 · Bibliotecário Documentalista
Resolva a questão abaixo e continue estudando com o banco de questões.
P2769524
ID: 2769524
Raciocínio LógicoAssunto: Operações Lógicas / Conectivos Lógicos
Banca: COPEVE/UFAL - FUNDEPES
Ano: 2023
Nível: Superior
Considerando que os símbolos ¬, ∧, ∨, →, ∀ e ∃ representam negação, conjunção, disjunção, implicação, quantificador universal e quantificador existencial, respectivamente, assinale a alternativa que pode ser inferida a partir da fórmula ∀ x (P (x) → Q (x)) ∧ ∀ x (R (x) ∨ ¬P (x)) ∧ ∃ x (R (x)) ∧ ∀ x (¬¬P (x) ∧ S (x)).
Responda à questão para liberar o gabarito e as estatísticas.
Carregando plataforma de questões...