9.15 $P\vdash(P\Rightarrow Q)\Rightarrow Q$


\begin{displaymath}\begin{fitch}
\par
P \\
\par
\fh P \Rightarrow Q & H \\
\pa...
...htarrow Q)\Rightarrow Q & I$\Rightarrow$\ 2,3
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17