9.7 $P\vee(Q\wedge R)\vdash P\vee Q$


\begin{displaymath}\begin{fitch}
\par
P \vee (Q \wedge R) \\
\par
\fh P & H \\ ...
...I$\vee$\ 5 \\
\par
P \vee Q & E$\vee$\ 1,3,6
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17