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