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

9.15 $P\vdash(P\Rightarrow Q)\Rightarrow Q$


\begin{displaymath}\begin{fitch} \par P \\ \par \fh P \Rightarrow Q & H \\ \pa... ...htarrow Q)\Rightarrow Q & I$\Rightarrow$\ 2,3 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17