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


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



Daniel Clemente Laboreo 2005-05-17