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, as equivalências lógicas das fórmulas ¬∃xP(

A) ∀x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)). | B) ∃x ¬P(x) ∧ ∃yQ(y) e ¬∀x(P(x) → Q(x)). | C) ∃x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)). | D) ∃x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)). | E) ∀x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

457941200779703

Ano: 2018Banca: COPEVE-UFALOrganização: UFALDisciplina: Raciocínio Lógico e QuantitativoTemas: Proposições Logicamente Equivalentes

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantificador existencial, respectivamente, as equivalências lógicas das fórmulas ¬∃xP(x) ∧ ∃yQ(y) e ∀x(¬P(x) → ¬Q(x)) são, respectivamente,

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