9.10 $\vdash\neg(P\wedge\neg P)$


\begin{displaymath}\begin{fitch}
\par
\fh P \wedge \neg P & H \\
\par
\fa P & E...
...\
\par
\neg (P \wedge \neg P) & I$\neg$\ 1,2
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17