teste 1
respuesta 1
Otra respuesta.
![\infer[RAA_1]{\neg \alpha \lor \alpha}{
\infer[E\neg]{\bot}{
\infer[I\neg_2]{\neg\alpha}{
\infer[E\neg]{\bot}{
[\neg(\neg \alpha \lor \alpha)]_1 &
\infer[I\lor]{\neg \alpha \lor
\alpha}{[\alpha]_2}}
} &
\infer[RAA_3]{\alpha}{
\infer[E\neg]{\bot}{
[\neg(\neg \alpha \lor \alpha)]_1 &
\infer[I\lor]{\neg \alpha \lor
\alpha}{[\neg\alpha]_3}
}
}
}
}](https://eva.fing.edu.uy/filter/tex/pix.php/ba48322ace89667e9f6b91efb934215c.png "\infer[RAA_1]{\neg \alpha \lor \alpha}{
\infer[E\neg]{\bot}{
\infer[I\neg_2]{\neg\alpha}{
\infer[E\neg]{\bot}{
[\neg(\neg \alpha \lor \alpha)]_1 &
\infer[I\lor]{\neg \alpha \lor
\alpha}{[\alpha]_2}}
} &
\infer[RAA_3]{\alpha}{
\infer[E\neg]{\bot}{
[\neg(\neg \alpha \lor \alpha)]_1 &
\infer[I\lor]{\neg \alpha \lor
\alpha}{[\neg\alpha]_3}
}
}
}
}")