Q48635 COPEVE-UFAL - 2015 - Prefeitura de Craíbas - AL - Assistente Social
Ano: 2015
Banca: COPEVE-UFAL
Assunto: 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

Comentários

Enviando...

Dica: comentários podem ficar como pendentes até aprovação.

Ainda não há comentários aprovados.

Questoes: COPEVE-UFAL - 2015 - Prefeitura de Craíbas - AL - Assistente Social