如何在 latex 中写出离散数学的破折号？

Question

我不知道如何这样使用破折号。它不是 \bar{}。

Answer 1

我重新创建了图片中的代码。也许这就是你要找的东西：

\documentclass[12pt]{article}

\usepackage{amssymb,amsfonts,amsmath}

\begin{document}

\begin{center}
\begin{equation*}
\begin{aligned}
    &p                          \\
    &\bar{p} \rightarrow q      \\
    &(q \wedge r) \rightarrow s \\
    &t \rightarrow r            \\
    \hline
    &\therefore \bar{s} \rightarrow \bar{t}
\end{aligned}
\end{equation*}
\end{center}

\end{document}

看起来像这样：

除此以外，我还建议将“ & ”放在“ \rightarrow ”前面，以改善引文的风格：

\begin{aligned}
    p                  &               \\
    \bar{p}            & \rightarrow q \\
    (q \wedge r)       & \rightarrow s \\
    t                  & \rightarrow r \\
    \hline
    \therefore \bar{s} & \rightarrow \bar{t}
\end{aligned}