定理陈述的模板?

定理陈述的模板?

所以基本上我正在寻找类似这样的东西:

使用 amsmath 包:

\documentclass[12pt]{article}
\usepackage{amsmath}
\begin{document}
$\left. \begin{aligned}
       A &= T \\
       B &= F 
    \end{aligned} \right\} \implies A \vee B = T \vee F = T$
\end{document}

在此处输入图片描述

左边是定理的多个前提,用括号连接起来,右边是定理的(多个)结论。两边由任意运算符连接(在本例中是箭头)。

此模板无法正常工作,但其应该:

  1. 将页面分为左右两个区域,即当创建新行时,右侧区域的内容不会占据左侧区域的内容。
  2. 必须允许两侧有逐项/枚举列表,这意味着模板不能处于数学模式。

答案1

以下内容似乎可以实现您所追求的目标:

在此处输入图片描述

\documentclass{article}
\usepackage{amsmath,array}
\begin{document}
\[
  \left.\begin{aligned}
    A &= T \\
    B &= F 
  \end{aligned}\right\}
  \implies
  A \vee B = T \vee F = T
\]

\[
  \left.\begin{aligned}
    A &= T \\
    B &= F 
  \end{aligned}\right\}
  \implies 
  \left\{\begin{aligned}
    A \vee B &= T \\
    C \vee D &= F \\
    E \vee F &= T
  \end{aligned}\right.
\]

\[
  \left.\begin{tabular}{@{\textbullet\hspace{1em}}p{5cm}}
    First item \\
    Second item that is longer \\
    Last item that is very long and spans more than a single line
  \end{tabular}\right\}
  \implies 
  \left\{\begin{aligned}
    A \vee B &= T \\
    C \vee D &= F \\
    E \vee F &= T
  \end{aligned}\right.
\]

\end{document}

arrayitemize允许在 (文本模式) 内进行“伪造” tabular。您还可以使用itemize,只要您使用p{<len>}列规范即可。

相关内容