9.24 $\forall x(Px\Rightarrow Qx),\ Pa\vdash Qa$

$$\begin{fitch} \par \forall x(Px \Rightarrow Qx) \\ \par Pa \... ...orall$\ 1,a \\ \par Qa & E$\Rightarrow$\ 3,2 \par \end{fitch}$$