next up previous contents
Next: 9.9 Up: 9 Ejemplos, muchos ejemplos 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