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

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,

∀x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).

∃x ¬P(x) ∧ ∃yQ(y) e ¬∀x(P(x) → Q(x)).

∃x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

∃x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).

∀x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

Gabarito comentado

Anotações

Marcar para revisão

457941200779703

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

∀x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).

∃x ¬P(x) ∧ ∃yQ(y) e ¬∀x(P(x) → Q(x)).

∃x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

∃x ¬P(x) ∧ ∃yQ(y) e ∀x(Q(x) → P(x)).

∀x ¬P(x) ∧ ∃yQ(y) e ¬∃x(P(x) → Q(x)).

Gabarito comentado

Anotações

Marcar para revisão

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantif...

Questões relacionadas para praticar

Considerando que os símbolos ¬, ∧, ∨, ∀ e ∃ representam negação, conjunção, disjunção, quantificador universal e quantif...

Questões relacionadas para praticar