☰

LaTex 数学模式编码

tag-icon • tag-icon logic
LaTex 数学模式编码

这是我的代码，为什么\begin{align*}我会收到一条错误消息说我缺少一个$？

\begin{document}
%%
\begin{proof*}
\begin{align*}

1.\; & (p \land q \rightarrow r, u \rightarrow \lnot r, u \land q) &&\aside{Premise}\\
2.\; & p \land q \rightarrow r   &&\aside{Premise} \\
3.\; & \equiv u \rightarrow \lnot r     &&\aside{Premise} \\
4.\; & \equiv u \land q                 &&\aside{Premise} \\
5.\; & \equiv u                         &&\aside{Specialization:3} \\
6.\; & \equiv \land r                   &&\aside{Modus Pones:2,4} \\
7.\; & \equiv \lnot (p \land q)         &&\aside{Modus Tollens:1,5} \\
8.\; & \equiv \lnot p \lor \lnot q      &&\aside{De Morgan's: ^} \\
9.\; & \equiv q                         &&\aside{Specialization:3}\\
10.\; & \equiv \lnot \lnot q             &&\aside{Double Negation:8}\\
11.\; & \equiv \lnot p                   &&\aside{Elimination:7,9}\\
                    
\end{align*}
\end{proof*}        

%%
\end{document}

答案1

欢迎来到 TeX.SE！

渴望评论...

由于您不提供 MWE，以下内容基于通常使用的proof环境（请参阅定理）。其中被视为@Mico 注释（删除了align环境中的空行）：

\documentclass{article}
\usepackage{amsmath,amsthm}
\newcommand\aside[1]{\text{#1}}

\begin{document}
    \begin{proof} % <---
\begin{align*}
    1.\quad & (p \land q \to r, u \to \lnot r, u \land q) 
                        &&\aside{Premise}\\
    2.\quad & p \land q \rightarrow r   &&\aside{Premise} \\
    3.\quad & \equiv u \rightarrow \lnot r     &&\aside{Premise} \\
    4.\quad & \equiv u \land q                 &&\aside{Premise} \\
    5.\quad & \equiv u                         &&\aside{Specialization:3} \\
    6.\quad & \equiv \land r                   &&\aside{Modus Pones:2,4} \\
    7.\quad & \equiv \lnot (p \land q)         &&\aside{Modus Tollens:1,5} \\
    8.\quad & \equiv \lnot p \lor \lnot q      &&\aside{De Morgan's: } \\
    9.\quad & \equiv q                         &&\aside{Specialization:3}\\
    10.\quad & \equiv \lnot \lnot q            &&\aside{Double Negation:8}\\
    11.\quad & \equiv \lnot p                  &&\aside{Elimination:7,9}
        \qedhere
\end{align*}%
    \end{proof} % <---
\end{document}

在此处输入图片描述

它没有给出任何错误！你在哪里以及如何定义˙proof*`？

答案2

由于某种原因，align环境无法处理空行。因此删除空行，它应该可以编译成功

相关内容