next up previous contents
Next: 9.8 Up: 9 Exemples, molts exemples Previous: 9.6   Contents

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