next up previous contents
Next: 9.13 Up: 9 Examples, lots of 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