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

Q: 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

A) II e IV, apenas. | B) I e IV, apenas. | C) I, II e III, apenas. | D) I, II, III e IV. | E) III, apenas.

457941200447458

Ano: 2017Banca: COPEVE-UFALOrganização: Prefeitura de Maceió - ALDisciplina: Raciocínio Lógico e QuantitativoTemas: Proposições Logicamente Equivalentes | Equivalência Lógica e Negação de Proposições

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

Gabarito comentado

Anotações

Marcar para revisão

457941200447458

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

Anotações

Marcar para revisão

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

Questões relacionadas para praticar

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

Questões relacionadas para praticar