9.11 $\vdash P\vee\neg P$


\begin{displaymath}\begin{fitch}
\par
\fh \neg (P \vee \neg P) & H \\
\par
\fa ...
...g$\ 1,6,7 \\
\par
P \vee \neg P & E$\neg$\ 8
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17