Buenas, hasta aquí lo que vengo haciendo para demostrar este ejercicio. Me falta completar el árbol derecho pero no le encuentro la vuelta. Alguna sugerencia por favor!
$![\infer[I \leftrightarrow]
{(p \rightarrow q) \leftrightarrow \neg(p \wedge \neg q)} {\infer[I \rightarrow]
{p \rightarrow q}
{\infer[RAA]
{q}
{\infer[E \neg]
{ \bot}
{\infer[I \wedge]
{p \wedge \neg q}
{[p]&[\neg q]}&[\neg(p \wedge \neg q)]}}}&\infer[I \neg]
{\neg(p \wedge \neg q)}
{\infer[E \neg]
{ \bot}
{[p \wedge \neg q]&\infer*[?]
{\neg(p \wedge \neg q)}
{?}}}}](https://eva.fing.edu.uy/filter/tex/pix.php/391ca79bd225f020a97cc41bd829dca3.png "\infer[I \leftrightarrow]
{(p \rightarrow q) \leftrightarrow \neg(p \wedge \neg q)} {\infer[I \rightarrow]
{p \rightarrow q}
{\infer[RAA]
{q}
{\infer[E \neg]
{ \bot}
{\infer[I \wedge]
{p \wedge \neg q}
{[p]&[\neg q]}&[\neg(p \wedge \neg q)]}}}&\infer[I \neg]
{\neg(p \wedge \neg q)}
{\infer[E \neg]
{ \bot}
{[p \wedge \neg q]&\infer*[?]
{\neg(p \wedge \neg q)}
{?}}}}")
$
Ya la saqué!
Buenas, hasta aquí lo que vengo haciendo para demostrar este ejercicio. Me falta completar el árbol derecho pero no le encuentro la vuelta. Alguna sugerencia por favor!
$$
Ya la saqué!