![itemize 内的多行方程](https://linux22.com/image/382822/itemize%20%E5%86%85%E7%9A%84%E5%A4%9A%E8%A1%8C%E6%96%B9%E7%A8%8B.png)
我正在为大学生布置家庭作业,有五个表达式需要逐项列出。这是 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
环境不合适,请提供建议。
答案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}
答案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}