next up previous contents
Next: 9.9 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.7   Contents

9.8 $L\wedge M\Rightarrow\neg P,\ I\Rightarrow P,\ M,\ I\vdash\neg L$


\begin{displaymath}\begin{fitch}
\par
L \wedge M \Rightarrow \neg P \\
\par
I \...
...tarrow$\ 2,4 \\
\par
\neg L & I$\neg$\ 5,7,8
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17