9.9 $\vdash P\Rightarrow P$


\begin{displaymath}\begin{fitch}
\par
\fh P & H \\
\par
\fa P & IT 1 \\
\par
P \Rightarrow P & I$\Rightarrow$\ 1,2
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17