乳膠文檔上的推理規則對齊

Question

嗨，我正在嘗試編寫一個簡潔的推理規則的逐步描述，如下圖所示

看起來有 3 列，每列都是中心對齊的。

這種形式只是使用沒有線條的表格嗎？如果有人有寫命題邏輯文件的經驗，請給一些提示。謝謝

Answer 1

下面轉載了@Werner 提供的解決方案——https://tex.stackexchange.com/a/410766/197451

提供了兩種證明環境：

證明A

和

證明B

第一個使用常規tabular，第二個使用tabularx允許對齊段落文字的 。

微量元素

\documentclass{article}

\usepackage{tabularx}

\newcounter{proofstep}
\newcommand{\step}{}
\newenvironment{proofA}
  {\par
   \setcounter{proofstep}{0}%
   \renewcommand{\step}{\refstepcounter{proofstep}\theproofstep. &}%
   \noindent
   \begin{tabular}{ @{} r c l @{}}}
  {\end{tabular}}
\newenvironment{proofB}
  {\par
   \setcounter{proofstep}{0}%
   \renewcommand{\step}{\refstepcounter{proofstep}\theproofstep. &}%
   \noindent
   \tabularx{\textwidth}{ @{} r c X @{} }}
  {\endtabularx}

\begin{document}

\noindent
\begin{tabular}{ @{} r c l @{} }
  1. & some math & Justification. \\
  2. & some math & Justification.
\end{tabular}

\begin{proofA}
  \step some math & Justification. \\
  \step some math & Justification.
\end{proofA}

\begin{proofB}
  \step some math & This is just another sentence that will span at least two 
   lines. Well, now it will, for sure! \\
  \step some math & Justification.
\end{proofB}

\end{document}

可以透過修改表格環境的程式碼來新增標題行，如下所示

\begin{tabular}{ @{} r c l @{} }
     & \textbf{Step} & \textbf{Reason}\\
  1. & some math     & Justification. \\
  2. & some math     & Justification.
\end{tabular}