itemize 内的多行方程

Question

我正在为大学生布置家庭作业，有五个表达式需要逐项列出。这是 MWE。

\documentclass[letterpaper,12pt]{article}
\usepackage{amsmath,amssymb,enumitem}

% Negation symbol consistent with textbook:
\newcommand{\shortsim}{\raise.17ex\hbox{$\scriptstyle \sim$}}
\renewcommand{\neg}{\shortsim}

\begin{document}


\begin{enumerate}[label=\alph*)] \large 
    \item $(\exists n \in \mathbb{N})[Prime(n) \wedge Even(n)]$  

    \item $(\neg \forall n_1 \in \mathbb{Z}) (\exists n_2 \in \mathbb{Z})[n_1 > n_2]$  
    \item $(\neg \forall n \in \mathbb{Z})[Divides(4, n) \Rightarrow Even(n)]$ 
    \item $(\neg \forall n \in \mathbb{Z})[(Divides(15, n)  \Rightarrow \big ( Divides(3, n) \wedge Divides(5, n) \big )]$   
    \item \begin{multline*} (\neg \forall x \in \mathbb{N})(\forall y \in \mathbb{N})\bigg [Coprime(x, 
                y) \Leftrightarrow \bigg( (\nexists k \in \mathbb{N} )[(1 < k <x ) \land \\ \qquad \qquad \qquad (1 < k < y) \land Divides(k, x) \land (Divides(k, y))]  \bigg) \bigg ] 
         \end{multline*} 
\end{enumerate}

\end{document}

结果是，最终的等式悬挂在 (e) 下方：

我可以在这里做什么？如果enumerate环境不合适，请提供建议。

Answer 1

您可以aligned在数学模式中使用并决定在哪里对齐线条&。

另外，我稍微改变了分隔符的大小，并使用了 Coprime 和其他运算符字体。

\documentclass[letterpaper,12pt]{article}
\usepackage{amsmath,amssymb,enumitem}

\begin{document}

\begin{enumerate}[label=\alph*)] \large 
    \item $(\exists n \in \mathbb{N})[Prime(n) \wedge Even(n)]$
    \item $(\neg \forall n_1 \in \mathbb{Z}) (\exists n_2 \in \mathbb{Z})[n_1 > n_2]$  
    \item $(\neg \forall n \in \mathbb{Z})[Divides(4, n) \Rightarrow Even(n)]$ 
    \item $(\neg \forall n \in \mathbb{Z})[(Divides(15, n)  \Rightarrow \big ( Divides(3, n) \wedge Divides(5, n) \big )]$   
    \item $\begin{aligned}[t]
      (\neg \forall x \in \mathbb{N})
      (\forall y \in \mathbb{N})
      \Bigl[ \operatorname{Coprime}(x,y) \Leftrightarrow 
      \bigl( (\nexists k \in \mathbb{N} )[(1 < k <x )    \\ 
        \land (1 < k < y) 
        \land \operatorname{Divides}(k, x) 
        \land (\operatorname{Divides}(k, y))]
      \bigr) 
      \Bigr]
      \end{aligned}$ 
\end{enumerate}

\end{document}

Answer 2

或者你也可以直接使用内联方程。如果你真的想使用单词divides等，那么你可能想要使用数学运算符或类似的东西。我个人会使用符号来表示这些。

\documentclass[letterpaper,12pt]{article}
\usepackage{amsmath,amssymb,enumitem}
\DeclareMathOperator{\Prime}{Prime}
\DeclareMathOperator{\Even}{Even}
\DeclareMathOperator{\Divides}{Divides}
\DeclareMathOperator{\Coprime}{Coprime}
\begin{document}


\begin{enumerate}[label=\alph*)] \large 
    \item $(\exists n \in \mathbb{N})[\Prime(n) \wedge \Even(n)]$  
    \item $(\neg \forall n_1 \in \mathbb{Z}) (\exists n_2 \in \mathbb{Z})[n_1 > n_2]$  
    \item $(\neg \forall n \in \mathbb{Z})[\Divides(4, n) \Rightarrow \Even(n)]$ 
    \item $(\neg \forall n \in \mathbb{Z})[(\Divides(15, n)  \Rightarrow \big (
    \Divides(3, n) \wedge \Divides(5, n) \big )]$   
    \item $(\neg \forall x \in \mathbb{N})(\forall y \in \mathbb{N})\bigg [\Coprime(x, 
                y) \Leftrightarrow \bigg( (\nexists k \in \mathbb{N} )[(1 < k <x
                )\land (1 < k < y) \land
                \Divides(k, x) \land (\Divides(k, y))]  \bigg) \bigg ]$
\end{enumerate}

\end{document}