next up previous contents
Next: 9.15 Up: 9 Ekzemploj, pluraj ekzemploj Previous: 9.13   Contents

9.14 $A\Longleftrightarrow B\vdash(A\wedge B)\vee(\neg A\wedge\neg B)$


\begin{displaymath}\begin{fitch}
\par
(A \Rightarrow B) \wedge (B \Rightarrow A)...
...e (\neg A \wedge \neg B) & E$\vee$\ 10,15,23
\par
\end{fitch} \end{displaymath}



Daniel Clemente Laboreo 2005-05-17