next up previous contents
Next: 9.3 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.1   Contents

9.2 $P\wedge Q\Rightarrow R,\ Q\Rightarrow P,\ Q\vdash R$


\begin{displaymath}\begin{fitch} \par P \wedge Q \Rightarrow R \\ \par Q \Right... ...\wedge$\ 4,3 \\ \par R & E$\Rightarrow$\ 1,5 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17