我怎样才能将自然演绎树很好地融入枚举中?

我怎样才能将自然演绎树很好地融入枚举中?

这是我的代码\usepackage{proof}

\begin{enumerate}[label=\alph*)]

\item\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
    {A}
    {[A\land B]^1}
}   
\item \infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
    {A}
    {[A\land B]^1}
}

\end{enumerate}

如您所见,输出不太美观。我希望自然推理树出现在字母 a、b、...等下。这可以做到吗?到目前为止,我尝试过的方法是使用\hbox{}after \item,然后在下一行显示树。提前致谢。

答案1

这是您要找的内容吗?请注意 a) 和 b) 的不同对齐样式。

\documentclass{article}   
\usepackage{mathtools} 
\usepackage{enumitem}
\usepackage{proof}

\begin{document}
\begin{enumerate}[label=\alph*)]

\item\raisebox{-\height}% align baseline to top
{\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
    {A}
    {[A\land B]^1}
}}
\item\raisebox{\dimexpr\topskip-\height}% align top to top
{\infer[\to\text{\tiny\textbf{I}$_1$}]
{(A\land B)\to A}
{\infer[\land\text{\tiny\textbf{E}}]
    {A}
    {[A\land B]^1}
}}

\end{enumerate}
\end{document}
[![demo][1]][1]

演示

相关内容