我正在尝试在LaTeX中排版一些基本的逻辑证明.我需要一个多列布局,我需要在右边编号的行.我想重置每个证明的编号.输出应如下所示:
1) (x)¬F A
2) (Ex)F
3) ...
最简单的方法是什么？枚举似乎不是一个好主意,因为它不会像多列事情那样.我也需要一切都在数学模式中.
是否有捷径可寻？
[编辑]这是我到目前为止所做的,但它远非优雅.
\begin{minipage}{\linewidth}
\boldmath \center{$ \forall x \neg F \to \neg \exists x F $} \unboldmath
\begin{math}
\begin{array}{llr}
1. &\forall x \neg F & \\
2. &\exists x F & A \\
3. &F[\alpha / x ] & ES 2 \\
4. &\neg F[\alpha / x] & US \\
5. &\exists x F \to F[\alpha / x ] & CP 2,4 \\
6. &\neg \exists x F & TI 4,5
\end{array}
\end{math}
\end{minipage}
理想情况下,我想要一些自动编号步骤的东西,使"标题"线更容易...