对齐多个推理规则

Question

我正在尝试编写几条像这样排列的推理规则，但是遇到了一些困难并且还没有找到合适的方法。

有任何想法吗 ？

感谢您的帮助。

Answer 1

您可以使用任意您选择的空格分隔的数组。

\documentclass{article}

\begin{document}

\[
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}\qquad
%
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}\qquad
%
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}\qquad
%
\begin{array}{c}
A \\
(\lnot A \lor C)\\ \hline
C
\end{array}
\]

\end{document}