next up previous contents
Next: 9.15 Up: 9 Exemples, molts exemples 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