next up previous contents
Next: 9.12 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.10   Contents

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