☰

Размещение текста между двумя строками и добавление одной фигурной скобки в окружении \array

tag-icon • tag-icon math-mode
Размещение текста между двумя строками и добавление одной фигурной скобки в окружении \array

Я пытаюсь сделать таблицу для некоторых основных правил в логике, где я добавляю имя каждого правила в последний столбец. Я сделал все это в среде array:

$$\begin{array}{lcccl}
\mathrm{(a)} & \mathrm{P}                  & \mathrm{and} & \lnot(\lnot \mathrm{P})           & (\textit{Double Negation Law}) \\
\mathrm{(b)} & \mathrm{P} \lor \mathrm{Q}           & \mathrm{and} & \mathrm{Q}\lor \mathrm{P}                  & \\
\mathrm{(c)} & \mathrm{P} \land \mathrm{Q}          & \mathrm{and} & \mathrm{Q}\land \mathrm{P}                 & \\
\mathrm{(d)} & \mathrm{P}\lor (\mathrm{Q}\lor R)    & \mathrm{and} & (\mathrm{P}\lor \mathrm{Q})\lor R          & \\
\mathrm{(e)} & \mathrm{P}\land (\mathrm{Q}\land R)  & \mathrm{and} & (\mathrm{P}\land \mathrm{Q})\land R        &\\
\mathrm{(f)} & \mathrm{P}\land(\mathrm{Q}\lor R)    & \mathrm{and} & (\mathrm{P}\land \mathrm{Q})\lor(\mathrm{P}\land R) &\\
\mathrm{(g)} & \mathrm{P}\lor(\mathrm{Q}\land R)    & \mathrm{and} & (\mathrm{P}\lor \mathrm{Q})\land(\mathrm{P}\lor R)  & \\
\mathrm{(h)} & \lnot(\mathrm{P}\land \mathrm{Q})    & \mathrm{and} & \lnot \mathrm{P}\lor\lnot \mathrm{Q}       & \\
\mathrm{(i)} & \lnot(\mathrm{P}\lor \mathrm{Q})     & \mathrm{and} & \lnot \mathrm{P}\land\lnot \mathrm{Q}      & \\
\end{array}
$$

В конечном итоге я хотел бы получить что-то вроде этого:введите описание изображения здесь

решение1

Я не думаю, что arrayокружение — лучший выбор здесь, но в любом случае, вот вариант с использованием пакета multirow. Я просто добавляю двухстрочную ячейку, \multirow{2}{*}{$\left.\hbox{\rule{0cm}{.45cm}}\right\}$ De Morgan's Laws}как в коде ниже. arrayОкружение обычно слишком плотное, поэтому, чтобы сделать его более читабельным, вы можете добавить \renewcommand{\arraystretch}{1.2}локально перед массивом.

\documentclass{article}
\usepackage{amsmath}
\usepackage{multirow}
\begin{document}

\begin{equation*}
\renewcommand{\arraystretch}{1.2}
\begin{array}{lcccl}
\mathrm{(a)} & \mathrm{P}                  & \mathrm{and} & \lnot(\lnot \mathrm{P})           & (\textit{Double Negation Law}) \\
\mathrm{(b)} & \mathrm{P} \lor \mathrm{Q}           & \mathrm{and} & \mathrm{Q}\lor \mathrm{P}                  & \\
\mathrm{(c)} & \mathrm{P} \land \mathrm{Q}          & \mathrm{and} & \mathrm{Q}\land \mathrm{P}                 & \\
\mathrm{(d)} & \mathrm{P}\lor (\mathrm{Q}\lor R)    & \mathrm{and} & (\mathrm{P}\lor \mathrm{Q})\lor R          & \\
\mathrm{(e)} & \mathrm{P}\land (\mathrm{Q}\land R)  & \mathrm{and} & (\mathrm{P}\land \mathrm{Q})\land R        &\\
\mathrm{(f)} & \mathrm{P}\land(\mathrm{Q}\lor R)    & \mathrm{and} & (\mathrm{P}\land \mathrm{Q})\lor(\mathrm{P}\land R) &\\
\mathrm{(g)} & \mathrm{P}\lor(\mathrm{Q}\land R)    & \mathrm{and} & (\mathrm{P}\lor \mathrm{Q})\land(\mathrm{P}\lor R)  & \\
\mathrm{(h)} & \lnot(\mathrm{P}\land \mathrm{Q})    & \mathrm{and} & \lnot \mathrm{P}\lor\lnot \mathrm{Q}       &\multirow{2}{*}{$\left.\hbox{\rule{0cm}{.45cm}}\right\}$ De Morgan's Laws} \\
\mathrm{(i)} & \lnot(\mathrm{P}\lor \mathrm{Q})     & \mathrm{and} & \lnot \mathrm{P}\land\lnot \mathrm{Q}      & \\
\end{array}
\end{equation*}

\end{document}

введите описание изображения здесь

решение2

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

\[
\begin{array}{lcccl}
\mathrm{(a)} & \mathrm{P} & \mathrm{and} & \lnot(\lnot 
\mathrm{P})           & (\textit{Double Negation Law}) \\
\mathrm{(b)} & \mathrm{P} \lor \mathrm{Q}           & \mathrm{and} & \mathrm{Q}\lor 
\mathrm{P}                  & \\
\mathrm{(c)} & \mathrm{P} \land \mathrm{Q}          & \mathrm{and} & \mathrm{Q}\land 
\mathrm{P}                 & \\
\mathrm{(d)} & \mathrm{P}\lor (\mathrm{Q}\lor R)    & \mathrm{and} & (\mathrm{P}\lor 
\mathrm{Q})\lor R          & \\
\mathrm{(e)} & \mathrm{P}\land (\mathrm{Q}\land R)  & \mathrm{and} & (\mathrm{P}\land 
\mathrm{Q})\land R        &\\
\mathrm{(f)} & \mathrm{P}\land(\mathrm{Q}\lor R)    & \mathrm{and} & (\mathrm{P}\land 
\mathrm{Q})\lor(\mathrm{P}\land R) &\\
\mathrm{(g)} & \mathrm{P}\lor(\mathrm{Q}\land R)    & \mathrm{and} & (\mathrm{P}\lor 
\mathrm{Q})\land(\mathrm{P}\lor R)  & \\
\mathrm{(h)} & \lnot(\mathrm{P}\land \mathrm{Q})    & \mathrm{and} & \lnot 
\mathrm{P}\lor\lnot \mathrm{Q}       &  
\makebox(0,0){\put(0,-20){%
  \left.\rule{0pt}{1.06\normalbaselineskip}\right\}\text{De Morgan's laws}}}\\  
\mathrm{(i)} & \lnot(\mathrm{P}\lor \mathrm{Q})     & \mathrm{and} & \lnot 
\mathrm{P}\land\lnot \mathrm{Q}      & 
\end{array}
\]

\end{document}

введите описание изображения здесь

решение3

Вот один из вариантов, который предоставляет фактический список (а не неразрушимый блок/ array):

введите описание изображения здесь

\documentclass{article}

\usepackage{enumitem}

\newlength{\leftboxlen}
\newcommand{\setleftbox}[1]{\settowidth{\leftboxlen}{#1}}
\newcommand{\leftbox}[2][c]{\makebox[\leftboxlen][#1]{#2}}
\newlength{\rightboxlen}
\newcommand{\setrightbox}[1]{\settowidth{\rightboxlen}{#1}}
\newcommand{\rightbox}[2][c]{\makebox[\rightboxlen][#1]{#2}}

\begin{document}

\noindent\textbf{Theorem 1.6.}
\setleftbox{$\mathrm{P} \land (\mathrm{Q} \land R)$}%
\setrightbox{$(\mathrm{P} \land \mathrm{Q}) \lor (\mathrm{P} \land R)$}%
\begin{enumerate}[label=(\alph*),nosep]
  \item \leftbox{$\mathrm{P}$} and \rightbox{$\lnot(\lnot \mathrm{P})$} \qquad (\textit{Double Negation Law})
  \item \leftbox{$\mathrm{P} \lor \mathrm{Q}$} and \rightbox{$\mathrm{Q} \lor \mathrm{P}$}
  \item \leftbox{$\mathrm{P} \land \mathrm{Q}$} and \rightbox{$\mathrm{Q} \land \mathrm{P}$}
  \item \leftbox{$\mathrm{P} \lor (\mathrm{Q} \lor R)$} and \rightbox{$(\mathrm{P} \lor \mathrm{Q}) \lor R$}
  \item \leftbox{$\mathrm{P} \land (\mathrm{Q} \land R)$} and \rightbox{$(\mathrm{P} \land \mathrm{Q}) \land R$}
  \item \leftbox{$\mathrm{P} \land(\mathrm{Q} \lor R)$} and \rightbox{$(\mathrm{P} \land \mathrm{Q}) \lor (\mathrm{P} \land R)$}
  \item \leftbox{$\mathrm{P} \lor (\mathrm{Q} \land R)$} and \rightbox{$(\mathrm{P} \lor \mathrm{Q}) \land (\mathrm{P} \lor R)$}
  \item \leftbox{$\lnot (\mathrm{P} \land \mathrm{Q})$} and \rightbox{$\lnot \mathrm{P} \lor \lnot \mathrm{Q}$} \qquad
    \raisebox{-.45\height}[0pt][0pt]{$\left.\kern-\nulldelimiterspace\begin{array}{@{}c@{}} \mathstrut \\ \mathstrut \end{array}\right\} \mbox{(\textit{De Morgan's Law})}$}
  \item \leftbox{$\lnot(\mathrm{P} \lor \mathrm{Q})$} and \rightbox{$\lnot \mathrm{P} \land \lnot \mathrm{Q}$}
\end{enumerate}

\end{document}

Горизонтальное выравнивание структуры достигается с помощью коробок. Левая секция устанавливается внутри \leftbox(которая имеет ширину, заданную через \setleftbox), в то время как правая секция устанавливается внутри \rightbox(и аналогично именует \setrightbox).

Обозначение De Morgan's Lawпредставляет собой пониженный стек (2 ряда array) с нулевой высотой/глубиной.

Связанный контент