Considerando que os símbolos ∀, ∃, ~, → e ∨ repres...

Q: Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a quantificação universal, quantificação existencial, negação, implicação e disjunção, respectivamente, do conjunto de premissas {∀x(~P(x)∨Q(x)∨

A) ∃x(~Q(x)→~R(x)). | B) ∃x(Q(x)→R(x)). | C) ∃x(~R(x)→~Q(x)). | D) ∃x(R(x)→Q(x)). | E) ∃x(~Q(x)→R(x)).

457941201201422

Ano: 2015Banca: COPEVE-UFALOrganização: Prefeitura de Craíbas - ALDisciplina: Raciocínio Lógico e QuantitativoTemas: Proposições Categóricas

Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a quantificação universal, quantificação existencial, negação, implicação e disjunção, respectivamente, do conjunto de premissas {∀x(~P(x)∨Q(x)∨R(x)), ∀xP(x)}, infere-se que

Gabarito comentado

Anotações

Marcar para revisão

Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a quantific...

Questões relacionadas para praticar

Considerando que os símbolos ∀, ∃, ~, → e ∨ representam a quantific...

Questões relacionadas para praticar