9.20 $A\wedge(B\vee C)\vdash(A\wedge B)\vee(A\wedge C)$


\begin{displaymath}\begin{fitch}
\par
A \wedge (B \vee C) \\
\par
A & E$\wedge$...
... \wedge B) \vee (A \wedge C) & E$\vee$\ 3,6,9
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17