next up previous contents
Next: 9.21 Up: 9 Exemples, molts exemples Previous: 9.19   Contents

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