枚举表格中的第一列

Question

鉴于以下 mwe：

\documentclass{article}


\begin{document}

        \begin{tabular}{llllllll}
            
            
            \(\indent (1)\) & \( \mathrm{A}\) & \(\Rightarrow\) & \( \mathrm{B}\) & ~  & ~ \\    [5pt]  
            \(\indent (2)\) & \( \mathrm{C}\) & \(\Rightarrow\) & \( \mathrm{D}\) & ~  & ~ \\    [5pt]  
            \(\indent (3)\) &  \(  \mathrm{E}\) & \(\Leftrightarrow \) & \( \mathrm{F}\) & \, \({\Large \&}\)  &  \(\lnot \mathrm{G}\) \\ [5pt]  
            \(\indent(4)\) & \( \mathrm{H}\) & \(\Leftrightarrow\) & \(\models \mathrm{I}\) &  \, \({\Large \&}\) & \(\lnot \mathrm{J}\) 
            
            
        \end{tabular}
        
\end{document} 

有没有办法通过枚举获得这个，以便可以将活动项目命令用于第一列？

目标是在定理环境中使用这种构造，因此有时参考编号子定理会很有用。

Answer 1

抱歉，不清楚你为什么用表格来表示数学术语。在我看来，结果相当丑陋。

使用enumerate列表我将添加不带表的内联路径表达式：

\documentclass{article}
\usepackage{enumitem}

\begin{document}
    \begin{enumerate}[label=(\arabic*)]
\item   $ \mathrm{A} \Rightarrow    \mathrm{B}$ 
\item   $ \mathrm{C} \Rightarrow    \mathrm{D}$
\item   $ \mathrm{E} \Leftrightarrow\mathrm{F}\hphantom{\models}
                                                     \wedge\lnot\mathrm{G}$
\item   $ \mathrm{H} \Leftrightarrow\;\models\mathrm{I}\wedge\lnot\mathrm{J}$
    \end{enumerate}

\end{document}