¿Cómo se utilizan entornos que tienen el mismo nombre dentro de un único documento LaTeX?

Question

Estoy intentando componer algunos ejercicios de árbol de prueba. Pero necesito usar el prooftreeentorno del bussproofspaquete, así como el prooftreeentorno del prooftreespaquete. ¿Hay alguna manera de cambiar el nombre de uno de estos para que ambos se puedan utilizar en un solo documento?

Answer 1

Como se explica en la prooftreesdocumentación, puedes usar el entorno tableauen lugar de prooftreesi cargas el prooftreespaquete con la tableauxopción. Esto le permite utilizar ambos bussproofsy prooftreesjuntos.

\usepackage[tableaux]{prooftrees}
\usepackage{bussproofs}

Aquí hay un ejemplo completo:

\documentclass{article}
\usepackage[tableaux]{prooftrees}
\usepackage{bussproofs}
\begin{document}


\begin{prooftree}
   \AxiomC{$A \lor B$}
       \AxiomC{[$A$]}
       \noLine
       \UnaryInfC{$C$}
             \AxiomC{[$B$]}
              \noLine
              \UnaryInfC{$C$}
        \TrinaryInfC{$C$}
\end{prooftree}
\begin{tableau}
{
     to prove=\neg(a \vee b) \vee ((a \vee b) \vee  b)
}
[{(a \vee b) \vee ((a \vee b) \vee  b)}, just = 1
    [{\neg (a \vee b)}, just = 2
        [{a,b},just=3,close={4}
        ]
    ]
    [{(a \vee b) \vee  b}
        [{a \vee b}
        ]
        [{b}
        ]
    ]
]
\end{tableau}
\end{document}