☰

需要帮助解决枚举列表内的案例结构

tag-icon • tag-icon numbering lists theorems enumerate cases
需要帮助解决枚举列表内的案例结构

我需要输入一个枚举列表（用于数学文档），其中包含几行，我需要在这些行的末尾添加花括号，并附上文本描述。我能做的最好的事情就是指向以下链接：https://www.mediafire.com/#3eshxd2tsdacf第 5 页，定理 1.1.1。我需要我所做的事情本质上看起来像那个枚举列表。有人能帮忙吗？

以下是屏幕截图：

定理 1.1.1

答案1

array我将使用手动编号进行设置：

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath,array}% http://ctan.org/pkg/{amsmath,array}
\newcommand{\NOT}{\sim}\newcommand{\AND}{\wedge}\newcommand{\OR}{\vee}
\newcommand{\twolinebrace}{\rlap{$\smash{\raisebox{.5\height}{\bigg\}}}$}}
\newlength{\LHS}\newlength{\RHS}
\settowidth{\LHS}{$P \OR (Q \OR R)$}\settowidth{\RHS}{$(P \AND Q) \OR (P \AND R)$}
\newcolumntype{M}{>{$}p{\LHS}<{$}}
\newcolumntype{N}{>{$}p{\RHS}<{$}}
\begin{document}
\[
  \renewcommand{\arraystretch}{1.1}
  \begin{array}{@{}l@{\quad}l@{}}
    \begin{array}{>{\bfseries}p{2em}@{\quad}M@{\quad\text{and}\quad}N}
      (a) & P & \NOT (\NOT P)
    \end{array} & \text{Double Negation Law} \\
    \left.\kern-\nulldelimiterspace\begin{array}{>{\bfseries}p{2em}@{\quad}M@{\quad\text{and}\quad}N}
      (b) & P \OR Q & Q \OR P \\
      (c) & P \AND Q & Q \AND P 
    \end{array}\right\} & {\text{Commutative Laws}} \\
    \left.\kern-\nulldelimiterspace\begin{array}{>{\bfseries}p{2em}@{\quad}M@{\quad\text{and}\quad}N}
      (d) & P \OR (Q \OR R) & (P \OR Q) \OR R \\
      (e) & P \AND (Q \AND R) & (P \AND Q) \AND R
    \end{array}\right\} & {\text{Associative Laws}} \\
    \left.\kern-\nulldelimiterspace\begin{array}{>{\bfseries}p{2em}@{\quad}M@{\quad\text{and}\quad}N}
      (f) & P \AND (Q \OR R) & (P \AND Q) \OR (P \AND R) \\
      (g) & P \OR (Q \AND R) & (P \OR Q) \AND (P \OR R)
    \end{array}\right\} & {\text{Distributive Laws}} \\
    \left.\kern-\nulldelimiterspace\begin{array}{>{\bfseries}p{2em}@{\quad}M@{\quad\text{and}\quad}N}
      (h) & \NOT (P \AND Q) & {\NOT P} \OR {\NOT Q} \\
      (i) & \NOT (P \OR Q) & {\NOT P} \AND {\NOT Q}
    \end{array}\right\} & {\text{DeMorgan's\textsuperscript{*} Laws}}
  \end{array}
\]
\end{document}

列类型M定义为适合每条规则的左侧，而 则N定义为适合右侧。它们的长度在 之前确定，以精确适合列的内容。

我认为第一列编号可以自动进行，但在我看来，这里并不需要这样做。这种方法的一个缺点是，块不能跨页边界拆分。可以使用以下方法实现这一点amsmath的可破碎align性，使成对的物体保持静止array。

相关内容