Questão
2015
COPEVE (UFAL)
Prefeitura Municipal de Craíbas de Alagoas (AL)
Procurador municipal
2015
COPEVE (UFAL)
Prefeitura Municipal de Inhapi (AL)
2024
Considerando-que29b4fd6585
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
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)).