next up previous contents
Next: 9.22 Up: 9 Exemples, molts exemples Previous: 9.20   Contents

9.21 $\neg A\vee B\vdash A\Rightarrow B$


\begin{displaymath}\begin{fitch} \par \neg A \vee B \\ \par \fh A & H \\ \par ... ... \par A \Rightarrow B & I$\Rightarrow$\ 2,11 \par \end{fitch} \end{displaymath}


Daniel Clemente Laboreo 2005-05-17