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