离散数学中的论证

Question

这是我的代码：

\begin{tabular}{cccc}
$P(1)$ \\
$P(1)$ \\
$\forall n \in \N ((P(n) \land P(n+1) \implies P(n+2))$ \\
\hline
$\forall n \in \N (P(n))$ \\
\end{tabular} 

它看起来像这样：

我希望它看起来像这样：

所以我的问题是，如何才能将表格中的每一行左对齐。或者，是否有专门用于此的软件包？提前致谢。

Answer 1

或者，是否有专门用于此的包？

是的，我相信埃布洛夫确实符合要求。

\documentclass{article}
\usepackage{ebproof}
\usepackage{mathtools}
\usepackage{amssymb}
\begin{document}
\begin{prooftree}
    \hypo{&P(1)}
    \infer[no rule]1{&P(2)}
    \infer[no rule]1{&\forall n \in \mathbf{N} ((P(n) \land P(n+1) \implies P(n+2))}
    \infer1{& \therefore \forall n \in \mathbf{N} (P(n))}
\end{prooftree}
\end{document}

字符&在这里调整对齐，不需要明确声明数学环境，并且包足够灵活，可以适应多种变化。

附注：你可以得到因此符号使用其他技术。

Answer 2

由于所有材料都处于数学模式，因此您应该使用具有array单个类型列的环境l，而不是tabular环境。

\documentclass{article}
\usepackage{amssymb,booktabs}
\let\implies\Rightarrow % ? -- maybe '\rightarrow'?
\newcommand\N{\mathbb{N}}

\begin{document}
\noindent
$\begin{array}{@{}l@{}} % "@{}" suppresses whitespace padding
P(1) \\
P(2) \\
\forall n \in \N \bigl((P(n) \land P(n+1) \implies P(n+2)\bigr) \\
\midrule % for a well-spaced horizontal rule
\therefore\forall n \in \N (P(n)) 
\end{array}$
\end{document}

Answer 3

几乎相同的解决方案，但在显示模式下。我建议使用booktabs水平规则，这样你就会有更好的垂直间距：

\documentclass{article}
\usepackage{mathtools, amssymb}%
\usepackage{booktabs}
\newcommand\NN{\mathbf{N}}

\begin{document}

\[ \begin{array}{l}
  P(1) \\
  P(1) \\
  \forall n \in \NN,\bigl(P(n) \land P(n+1) \implies P(n+2)\bigr) \\
\midrule
  \therefore\forall n \in \NN (P(n))
\end{array} \]

\end{document}