next up previous contents
Next: 9.7 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.5   Contents

9.6 $P\Rightarrow(Q\Rightarrow R)\vdash Q\Rightarrow(P\Rightarrow R)$


\begin{displaymath}\begin{fitch}
\par
P \Rightarrow (Q \Rightarrow R) \\
\par
\...
...arrow (P \Rightarrow R) & I$\Rightarrow$\ 2,6
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17