next up previous contents
Next: 9.6 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.4   Contents

9.5 $P\Rightarrow Q,\ \neg Q\vdash\neg P$


\begin{displaymath}\begin{fitch} \par P \Rightarrow Q \\ \par \neg Q \\ \par \... ...neg Q & IT 2 \\ \par \neg P & I$\neg$\ 3,4,5 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17