next up previous contents
Next: 9.4 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.2   Contents

9.3 $P\Rightarrow Q,\ Q\Rightarrow R\vdash P\Rightarrow Q\wedge R$


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



Daniel Clemente Laboreo 2005-05-17