next up previous contents
Next: 9.23 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.21   Contents

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


\begin{displaymath}\begin{fitch} \par \fh (P \Rightarrow Q) \Rightarrow P & H \\... ...arrow P) \Rightarrow P & I$\Rightarrow$\ 1,13 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17