Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam neg...
Próximas questões
Com base no mesmo assunto
Ano: 2017
Banca:
COPEVE-UFAL
Órgão:
Prefeitura de Maceió - AL
Prova:
COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Técnico Administrativo |
Q942171
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
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