next up previous contents
Next: 9.13 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.11   Contents

9.12 $P\vee Q,\ \neg P\vdash Q$


\begin{displaymath}\begin{fitch}
\par
P \vee Q \\
\par
\neg P \\
\par
\fh P & ...
...par
\fa Q & IT 9 \\
\par
Q & E$\vee$\ 1,8,10
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17