next up previous contents
Next: 9.25 Up: 9 Ejemplos, muchos ejemplos Previous: 9.23   Contents

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


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


Daniel Clemente Laboreo 2005-05-17