next up previous contents
Next: 9.26 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.24   Contents

9.25 $\forall x(Px\Rightarrow Qx),\ \forall x(Qx\Rightarrow Rx)\vdash\forall x(Px\Rightarrow Rx),$


\begin{displaymath}\begin{fitch}
\par
\forall x(Px \Rightarrow Qx) \\
\par
\for...
...
\forall x(Px \Rightarrow Rx) & I$\forall$\ 8
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17