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

of $x$ is unimportant, so we've simply omitted $"$ inD $")$:

EEx$[P(x{)}^{{?}^{?}}$notQ$(x)]$

AAx$[P(x)LongrightarrowR(x)]$

:$.,$EEx$[R(x{)}^{{?}^{?}}$notQ$(x)]$