Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — COPEVE-UFAL 2017
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qq250154
- Banca
- COPEVE-UFAL
- Órgão
- Prefeitura de Maceió - AL
- Ano
- 2017
- Nível
- Médio
- Cargo
- Técnico Administrativo
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
- AI, II, III e IV.
- BI, II e III, apenas.
- CII e IV, apenas.
- DI e IV, apenas.
- EIII, apenas.