1

I have a problem with set of equations. To wit: I would like to set a braces in the same column, but I have no idea how to meki it. Belowe I enclose a code.

\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}
$

I'm going to get final efect looks like enter image description here

I've got solution but my preambul looks like

\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}

\newcommand\eqcomment1{\fbox{\makebox[4cm]{#1}}}

and now when I compile my code the program shows error

! Undefined control sequence. \adl@connect l.477 1 & 1 & 1 \ \hline The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., \hobx'), typeI' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined.

3

Here is a simple solution with 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}

enter image description here

  • thanks, but my preabule looks like – Saizou Jun 18 '16 at 6:58
  • Your preamble has inconsistencies: you loaded 3 fonts (maybe 4, as I don't know if polski loads fonts): lmodern, pxfonts and txfonts, of which the last two are outdated, and conflict with amsmath. If you want Times-like fonts, remove lmodern and pxfonts, and replace txfonts with \usepackage{newtxtext, newtxmath}. If you want Palatino-like, replace pxfonts with \usepackage{newpxtext, newpxmath} and remove the other two. – Bernard Jun 18 '16 at 9:44
  • It works, but I have next problem now. everywhere I used a array Tex shows a error. I think it causes \hline because when I deleted it, succes compile. – Saizou Jun 18 '16 at 12:43
  • Could you provide a link with a minimal (fully compilable) example? I can't imagine why blkarray would interfere with array or \hline. – Bernard Jun 18 '16 at 12:46
  • I don'k konw why it works. I removed \usepackage{array, blkarray} and add \usepackage{blkarray}. Now, everithink is complied succesfull – Saizou Jun 18 '16 at 13:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.