在同一列中支撑

Question

我对方程组有疑问。即：我想在同一列中设置括号，但我不知道该怎么做。下面我附上了一个代码。

\usepackage{amsmath}
\usepackage{array}
\newcolumntype{C}[1]{>{\centering\arraybackslash\hspace{0pt}}p{#1}}

$\left.
\begin{array}{ll} 
1) & \varphi \rightarrow \varphi \\
2) & (\varphi \rightarrow \psi) \rightarrow ((\psi \rightarrow \chi\rightarrow (\varphi \rightarrow \chi)) \\
3) & \varphi \wedge \psi \rightarrow \varphi \ \text{oraz} \  \varphi \wedge \psi \rightarrow \psi \\
\end{array}
\right \} $ 
$
\begin{tabular}{|C{4cm}|}  \hline
Równoważność \\ \hline
\end{tabular}
$


$ \left.
\begin{array}{ll}
4) & (\varphi \rightarrow \psi) \rightarrow ((\varphi \rightarrow \chi) \rightarrow (\varphi \rightarrow \psi \wedge \chi) \\
5) & \varphi \rightarrow \varphi \vee \psi  \ \text{oraz} \ \psi \rightarrow \varphi \vee \psi \\
6) & (\varphi \rightarrow \chi) \rightarrow ((\psi \rightarrow \chi) \rightarrow (\varphi \vee \psi \rightarrow \chi) \\
7) & \text{dystrybutywność}  
\end{array}
\right \} $
$
\begin{tabular}{|C{4cm}|}  \hline
Krata \\ \hline
\end{tabular}
$

$ \left.
\begin{array}{ll}
8) & \varphi \rightarrow (\psi \rightarrow \varphi) \\
9) & \neg \varphi \rightarrow (\varphi \rightarrow \psi)
\end{array}
\right \} $
$
\begin{tabular}{|C{4cm}|}  \hline
Jedynka i zero \\ \hline
\end{tabular}
$

$ \left.
\begin{array}{ll}
10) & \neg(\varphi \wedge \neg \varphi) \\
11) & \varphi \vee \neg \varphi
\end{array}
\right \} $
$
\begin{tabular}{|C{4cm}|}  \hline
Dopełnienie \\ \hline
\end{tabular}
$

我将得到最终的效果如下

我有解决方案，但我的序言看起来像

\documentclass[12pt,a4paper,notitlepage]{report} 
\usepackage{polski}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[top=2cm, bottom=2cm, left=3cm, right=3cm]{geometry}
\usepackage{txfonts}
\usepackage{pxfonts}
\usepackage{arydshln}
\usepackage{longtable}
\usepackage{enumitem}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}

\usepackage{makeidx}
\usepackage{graphicx}
\usepackage{lmodern}

\usepackage{pgf,tikz}
\usepackage{mathrsfs}
\usetikzlibrary{arrows}
\pagestyle{empty}
\definecolor{cqcqcq}{rgb}{0.7529411764705882,0.7529411764705882,0.7529411764705882}

\usepackage[showframe]{geometry}
\usepackage{array, blkarray}

\新命令\eqcomment1{\fbox{\makebox[4cm]{#1}}}

现在当我编译代码时程序显示错误

! 未定义的控制序列。\adl@connect l.477 1 & 1 & 1 \ \hline 错误消息顶行末尾的控制序列从未被 \def 过。如果您拼错了它（例如，\hobx'), typeI'）和正确的拼写（例如，`I\hbox'）。否则继续，我会忘记未定义的内容。

Answer 1

这是一个简单的解决方案blkarray：

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[showframe]{geometry}

\usepackage{amsmath}
\usepackage{array, blkarray}
\newcommand\eqcomment[1]{\fbox{\makebox[4cm]{#1}}}

\begin{document}


\[ \setlength\BAextrarowheight{3pt}
  \hspace*{-5cm}
  \begin{blockarray}{l}
    \begin{block}{\BAenum!{)\hskip\labelsep} l\Right{\}\enspace}{\eqcomment{Równoważność }}}
      \varphi  \rightarrow \varphi \\
      (\varphi  \rightarrow \psi )  \rightarrow ((\psi  \rightarrow \chi \rightarrow (\varphi  \rightarrow \chi )) \\
      \varphi  \wedge  \psi  \rightarrow \varphi \ \text{oraz} \ \varphi  \wedge  \psi  \rightarrow \psi \\%
    \end{block}
    \begin{block}{\BAenum!{)\hskip\labelsep} l\Right{\}\enspace}{\eqcomment{Krata}}}
      (\varphi  \rightarrow \psi )  \rightarrow ((\varphi  \rightarrow \chi )  \rightarrow (\varphi  \rightarrow \psi  \wedge  \chi ) \\
      \varphi  \rightarrow \varphi  \vee \psi \ \text{oraz} \ \psi  \rightarrow \varphi  \vee \psi \\
      (\varphi  \rightarrow \chi )  \rightarrow ((\psi  \rightarrow \chi )  \rightarrow (\varphi  \vee \psi  \rightarrow \chi ) \\
      \text{dystrybutywność}\\
    \end{block}
    \begin{block}{\BAenum!{)\hskip\labelsep} l\Right{\}\enspace}{\eqcomment{Jedynka i zero}}}
      \varphi  \rightarrow (\psi  \rightarrow \varphi ) \\
      \neg \varphi  \rightarrow (\varphi  \rightarrow \psi ) \\
    \end{block}
    \begin{block}{\BAenum!{)\hskip\labelsep} l\Right{\}\enspace}{\eqcomment{Dopełnienie}}}
      \neg(\varphi  \wedge  \neg \varphi ) \\
      \varphi  \vee \neg \varphi \\
    \end{block}
  \end{blockarray}%
\]%

\end{document}