- Fuente TeX:
- \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)}
{?}}}}