对齐/聚集的更好标题

Question

我想在笔记中创建的align和数学组下添加小标题。我刚刚添加了类似的东西，然后添加了一些文本，以获得居中的小文本外观。以下是代码：gather\begin{center}\small

Denoted by $\neg Q \implies \neq P$, logically equivalent to $P \implies Q$.
\begin{align*}
    \neg Q \implies \neq P &\equiv \neq(\neq Q) \lor (\neq P) \equiv Q \lor (\neq P) \\
    &\equiv \neq P \lor Q \\
    &\equiv P \implies Q \\
\end{align*}
\begin{center}
\small{In English: If statement reads ``if $P$, then $Q$'', then contrapositive reads ``if not $Q$, then not $P$''}
\end{center}
Contrapositive and statement essentially have the same meaning.

但是它有巨大的空间，这让我很恼火——它看起来像这样：

我也尝试\begin{center}用\captionof*{align}{This is a caption}标题包中的内容替换它，但是没有成功——它有同样丑陋的空间：

有没有什么办法可以解决这个问题，或者有没有什么办法可以添加标题而不占用太多额外的行？谢谢！

Answer 1

真正的问题是环境\\结束前的额外内容align*。与 不同tabular，对齐环境不要忘记它。

不过，我也用它\centering来代替center环境，因为后者也增加了垂直空间。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

Denoted by $\neg Q \implies \neq P$, logically equivalent to $P \implies Q$.
\begin{align*}
    \neg Q \implies \neq P &\equiv \neq(\neq Q) \lor (\neq P) \equiv Q \lor (\neq P) \\
    &\equiv \neq P \lor Q \\
    &\equiv P \implies Q 
\end{align*}
{\centering
\small In English: If statement reads ``if $P$, then $Q$'', then 
  contrapositive reads ``if not $Q$, then not $P$''\par
}
Contrapositive and statement essentially have the same meaning.
\end{document}

Answer 2

我会定义我自己的环境：

\documentclass{article}
\usepackage{amsmath,mathtools}

\newenvironment{captionedalign*}
 {%
  \mathtoolsset{below-shortintertext-sep=-\belowdisplayskip}
  \let\caption\captionedaligncaption
  \csname align*\endcsname
 }
 {\endalign}
\newcommand{\captionedaligncaption}[1]{%
  \shortintertext{\centering\footnotesize #1}%
}

\begin{document}

Denoted by $\neg Q \Longrightarrow \neg P$, logically equivalent to $P \Longrightarrow Q$.
\begin{captionedalign*}
  \neg Q \Longrightarrow \neg P &\equiv \neg(\neg Q) \lor (\neg P) \equiv Q \lor (\neg P) \\
  &\equiv \neg P \lor Q \\
  &\equiv P \Longrightarrow Q \\
  \caption{In English: If statement reads ``if $P$, then $Q$'', then contrapositive \\
    reads ``if not $Q$, then not $P$''}
\end{captionedalign*}
Contrapositive and statement essentially have the same meaning.

\end{document}

笔记。
我将所有\neq命令替换为\neg。
但这也不\implies是正确的命令，因为它增加了太宽的水平空间。 就我个人而言，我会使用\to或\Rightarrow。