next up previous contents
Next: 9.18 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.16   Contents

9.17 $P\Rightarrow Q,\ P\Rightarrow(Q\Rightarrow R)\vdash P\Rightarrow R$


\begin{displaymath}\begin{fitch} \par P \Rightarrow Q \\ \par P \Rightarrow (Q ... ...\ \par P \Rightarrow R & I$\Rightarrow$\ 3,6 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17