如何按以下方式在长方程式中换行？

Question

正是我所指出的，如何实现下面的结果？

Answer 1

我建议您加载该amsmath包并使用其bmatrix（“括号矩阵”）环境。

\documentclass{article}
\usepackage{amsmath,bm,newtxtext,newtxmath}

\begin{document}
\[
(\forall \bm{p}) 
\begin{bmatrix}
(\forall x) (\varphi(x,\bm{p}) \leftrightarrow \cdots ) \to \\
\bigl((\varphi(0,\bm{p}) \wedge (\varphi(x,\bm{p}) \to
  \varphi(x+1,\bm{p}))) \to \cdots \bigr)
\end{bmatrix}
\]
\end{document}

Answer 2

您可以使用bmatrixfromamsmath包来实现这一点。如果您还需要斜体粗体数学，请加载bm包并使用\bm{..}而不是\mathbf{..}。

\documentclass[a4paper,10pt]{article}
\usepackage{amsmath}
\begin{document}

\[
(\forall \mathbf{p})
\begin{bmatrix}
(\forall x) ( \varphi(x,\mathbf{p}) \leftrightarrow \neg\psi(x,\mathbf{p}))\rightarrow\\
\bigl((\varphi(0,\mathbf{p}) \wedge (\varphi(x,\mathbf{p})\to\varphi(x+1,\mathbf{p})))\to(\forall x)\varphi(x,\mathbf{p})\bigr)
\end{bmatrix}
\]

\end{document}

Answer 3

我认为，gathered是最好的选择。我还实现了新的命令，因为在这种情况下，箭头应该是二进制运算符号。

\documentclass{article}
\usepackage{newtxtext,newtxmath}
\usepackage{amsmath,bm}

\newcommand{\vp}{\bm{p}}
\newcommand{\liff}{\mathbin{\leftrightarrow}}
\newcommand{\limpl}{\mathbin{\rightarrow}}

\begin{document}

\[
(\forall \vp)
  \left[
  \begin{gathered}
  (\forall x) (\varphi(x,\vp) \liff \dotsb ) \limpl {}\\
  \bigl((\varphi(0,\vp) \land (\varphi(x,\vp) \limpl \varphi(x+1,\vp))) \to \dotsb \bigr)
  \end{gathered}
  \right]
\]

\end{document}