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


\begin{displaymath}\begin{fitch}
\par
\fh (P \Rightarrow Q) \Rightarrow P & H \\...
...arrow P) \Rightarrow P & I$\Rightarrow$\ 1,13
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17