Questão em destaque · Q2592887
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, dados os pares de fórmu
COPEVE/UFAL - FUNDEPES · Prefeitura de Maceió · 2017 · Professor II - Área Artes Cênicas
Resolva a questão abaixo e continue estudando com o banco de questões.
P2592887
ID: 2592887
Raciocínio LógicoAssunto: Equivalências Lógicas - (Proposições Logicamente equivalentes)
Banca: COPEVE/UFAL - FUNDEPES
Ano: 2017
Nível: Superior
Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, dados os pares de fórmulas,
I. ∃x(P(x) ∧ ¬Q(x)) e ∃x(¬P(x) ∧ ¬Q(x))
II. ∃x(P(x) ∧ ¬Q(x)) e ∃x(P(x) ∧ Q(x))
III. ∀x(P(x) ∧ ¬Q(x)) e ∀x¬(¬P(x) v Q(x))
IV. ∀x(P(x) ∧ ¬Q(x)) e ¬∀x(P(x) ∧ ¬Q(x))
verifica-se que há equivalência das fórmulas em
Responda à questão para liberar o gabarito e as estatísticas.
Carregando plataforma de questões...