Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam nega...

Próximas questões
Com base no mesmo assunto
Q2720805
Raciocínio Lógico Fundamentos de Lógica , Equivalência Lógica e Negação de Proposições , Diagramas de Venn (Conjuntos) ,
Ano: 2017 Banca: COPEVE-UFAL Órgão: Prefeitura de Maceió - AL Provas: COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Professor ll - História | COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Técnico - Assistente Social | COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Bibliotecário | COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Professor ll - Inglês | COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Professor ll - Espanhol | COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Professor ll - Geografia | COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Professor ll - Matemática |
Q2720805 Raciocínio Lógico

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

Alternativas

Questões de assuntos semelhantes

Provas relacionadas