9.17 $P\Rightarrow Q,\ P\Rightarrow(Q\Rightarrow R)\vdash P\Rightarrow R$


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



Daniel Clemente Laboreo 2005-05-17