next up previous contents
Next: 9.17 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.15   Contents

9.16 $P\Rightarrow Q\vdash(Q\Rightarrow R)\Rightarrow(P\Rightarrow R)$


\begin{displaymath}\begin{fitch} \par P \Rightarrow Q \\ \par \fh Q \Rightarrow... ...rrow (P \Rightarrow R) & I$\Rightarrow$\ 2,6 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17