Concursos Públicos ⇒ Quantificadores Lógicos

[Marcos10]

Amigos, Boa noite! alguém poderia me ajudar numa questão de Quantificadores Lógicos? segue :

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)).

tenho algumas dúvidas pontuais:

a) O que significa esse X em: R(x) , ∃x , Q(x) , P(x) e ∀x ? ( sei que ∀=todo , ∃=existe)
b) O que exatamente a questão quer? não consigo interpretar.

Obs: gabarito é letra C

Se alguém puder me ajudar fico grato!