![对齐多个推理规则](https://linux22.com/image/448997/%E5%AF%B9%E9%BD%90%E5%A4%9A%E4%B8%AA%E6%8E%A8%E7%90%86%E8%A7%84%E5%88%99.png)
答案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}