next up previous contents
Next: 9.11 Up: 9 Examples, lots of Previous: 9.9   Contents

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