Wie verwenden Sie Umgebungen mit demselben Namen innerhalb eines einzelnen LaTeX-Dokuments?

Question

Ich versuche, einige Beweisbaumübungen zu setzen. Aber ich muss sowohl die prooftreeUmgebung aus dem bussproofsPaket als auch die prooftreeUmgebung aus dem prooftreesPaket verwenden. Gibt es eine Möglichkeit, eine davon umzubenennen, sodass sie beide in einem einzigen Dokument verwendet werden können?

Answer 1

Wie in der prooftreesDokumentation erläutert, können Sie die Umgebung tableauanstelle von verwenden, wenn Sie das Paket mit der Option prooftreeladen . Dadurch können Sie sowohl als auch zusammen verwenden .prooftreestableauxbussproofsprooftrees

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

Hier ist ein vollständiges Beispiel:

\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}