水平线后的符号

Question

我想写这个，

$\begin{tabular}{11}
A &is true \\ 
B &is true \\ 
\hline A \wedge B  &is true 
\end{tabular}$

如何在后面添加“^I” \hline？

Answer 1

这是一个基于 LaTeX 的解决方案，它采用了\frac表达式。

\documentclass{article} % or some other suitable document class
\usepackage{amsmath}    % for '\text' macro
\begin{document}
\[
\frac{\text{$A$ true} \quad \text{$B$ true}}{%
      \text{$A\wedge B$ true}}
\wedge I
\]
\end{document}

Answer 2

您可以使用ebproof提供更多功能的套餐。

\documentclass{article}
\usepackage{amsmath}
\usepackage{ebproof}

\begin{document}

\[
\begin{prooftree}
\hypo{A \text{ true}}
\hypo{B \text{ true}}
\infer{2}[$\land I$]{A \land B \text{ true}}
\end{prooftree}
\]

\end{document}

这个论点指的是，你有两个 要在线上方排版的{2}事实。\hypo

Answer 3

我们可以使用\over原始分数：

$$ {\ \hbox{A true}\quad\hbox{B true}\ \over\hbox{A $\wedge$ B}}\wedge \rm I $$

Answer 4

\documentclass{article}
\usepackage{nicematrix}

\begin{document}
    
    \begin{table}
        \centering
        \NiceMatrixOptions{cell-space-limits = 3pt}
        
        \begin{NiceTabular}{ccc}
            
            A true                         & B true  &\Block{2-1}{$\wedge$ I}\\ \Hline
            \Block{1-2}{A $\wedge$ B true} &                                 \\
        \end{NiceTabular}
    
    \end{table}
    
\end{document}