next up previous contents
Next: 9.10 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.8   Contents

9.9 $\vdash P\Rightarrow P$


\begin{displaymath}\begin{fitch} \par \fh P & H \\ \par \fa P & IT 1 \\ \par P \Rightarrow P & I$\Rightarrow$\ 1,2 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17