next up previous contents
Next: 9.25 Up: 9 Ekzemploj, pluraj ekzemploj 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