next up previous contents
Next: 9.20 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.18   Contents

9.19 $\neg P\vdash P\Rightarrow Q$


\begin{displaymath}\begin{fitch} \par \neg P \\ \par \fh P & H \\ \par \fa \fh... ...\ \par P \Rightarrow Q & I$\Rightarrow$\ 2,7 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17