Give a logical proof that validates the following argument $($the domain

of x is unimportant, so we$$ve simply omitted $$ in D$)$:

$$x$[$P $($x$)$Q$($x$)]$

$$x$[$P $($x$)=$ R$($x$)]$

$$x$[$R$($x$)$Q$($x$)]$