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