next up previous contents
Next: 9.26 Up: 9 Exemples, molts exemples 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