単一の LaTeX ドキュメント内で同じ名前を持つ環境をどのように使用しますか?

Question

prooftree証明ツリーの演習をいくつかタイプセットしようとしています。ただし、パッケージの環境bussproofsとパッケージprooftreeの環境を使用する必要がありますprooftrees。これらのいずれかの名前を変更して、1 つのドキュメント内で両方を使用できるようにする方法はありますか?

Answer 1

ドキュメントで説明されているように、 オプションを使用してパッケージをロードする場合は、 の代わりに prooftrees環境を使用できます。これにより、 と の両方を一緒に使用できるようになります。tableauprooftreeprooftreestableauxbussproofsprooftrees

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

完全な例は次のとおりです。

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