next up previous contents
Next: 9.14 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.12   Contents

9.13 $A\vee B,\ A\Rightarrow C,\ \neg D\Rightarrow\neg B\vdash C\vee D$


\begin{displaymath}\begin{fitch} \par A \vee B \\ \par A \Rightarrow C \\ \par... ...\vee$\ 12 \\ \par C \vee D & E$\vee$\ 1,6,13 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17