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
- Gabarito Comentado (0)
- Aulas (5)
- Comentários (17)
- Estatísticas
- Cadernos
- Criar anotações
- Notificar Erro
Comentários
Veja os comentários dos nossos alunos
Acertei pq troquei o conectivo E por OU
a única que tem essa troca e a alternativa III
"custemo ma cheguemo!"
Tive que fazer toda a tabela da verdade, mas deu certinho.
Letra: E
Só eu que não entendi nada?
desproporcional ao cargo ofertado!
Alguém poderia explicar como resolver essa questão, por favor!
Clique para visualizar este comentário
Visualize os comentários desta questão clicando no botão abaixo
Conheça nossos planos