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
Questão
2015
COPEVE (UFAL)
Prefeitura Municipal de Craíbas de Alagoas (AL)
Procurador municipal
Considerando-que29b4fd6585
A
∃x(R(x)→Q(x)).
B
∃x(Q(x)→R(x)).
C
∃x(~Q(x)→R(x)).
D
∃x(~Q(x)→~R(x)).
E
∃x(~R(x)→~Q(x)).