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