Buenas! Probé estas dos derivaciones en YODA y me da bien. La pregunta es si efectivamente son correctas y que diferencia hay entre una y otra. Muchas gracias!
![\infer[I \rightarrow]
{ \perp \rightarrow p}
{\infer[E \perp]
{p}
{[ \perp]}}](https://eva.fing.edu.uy/filter/tex/pix.php/c4d1352b26faec4ac272e94f8eb5a9de.png "\infer[I \rightarrow]
{ \perp \rightarrow p}
{\infer[E \perp]
{p}
{[ \perp]}}")
![\infer[I \rightarrow]
{ \perp \rightarrow p}
{\infer[RAA]
{p}
{[ \perp]}}](https://eva.fing.edu.uy/filter/tex/pix.php/c475b9b39e25fc5a409e47a0f31ae807.png "\infer[I \rightarrow]
{ \perp \rightarrow p}
{\infer[RAA]
{p}
{[ \perp]}}")
Las 2 demostraciones están bien. con la RAA generaste una hipótesis que no llegaste a utilizar, en este caso con la eliminación de bottom ya era suficiente.
la RAA yo lo veo más útil cuando las hipótesis con las que estas trabajando no te son suficiente y necesitas generar hipótesis locales para poder dar una demostración.