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
Estatísticas

Seja o primeiro a enviar uma resposta para esta pergunta.


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