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

9.1 $P,\ P\Rightarrow Q\vdash P\wedge Q$


\begin{displaymath}\begin{fitch} \par P \\ \par P \Rightarrow Q \\ \par Q & E$... ...ow$\ 2,1 \\ \par P \wedge Q & I$\wedge$\ 1,3 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17