用盒子证明 Tableau 的有效性

Question

我如何绘制如下图所示的画面证明？

我想要具有类似表格结构的盒子：

• 左侧的数字
• 中心的公式
• 右侧的其他数字
• 可选水平线
• 底部的彩色四面体

这些盒子之间的连接对我来说也很重要。

颜色和边框样式并不是那么重要，但如果有的话会更好。

---

是否有一个用于此的包或者可以以某种方式使用 tikz 来完成？

Answer 1

欢迎使用 TeX-SE！这是为了给你一个开始。我没有热情把公式全部输入进去，但从那里面的内容中，你将能够完成它们。该图是一棵树，我推荐forest。表格可以用简单的数组获得。（着色可以自动完成如果关于颜色如何根据位置变化有明确的规则。

\documentclass{article}
\usepackage[edges]{forest}
\usetikzlibrary{backgrounds}
\usepackage{amsmath}
\usepackage{marvosym}
\definecolor{fad}{RGB}{232,238,230}
\begin{document}
\begin{forest}
for tree={l sep+=0.5em,parent anchor=south,child
    anchor=north,fill=yellow!40,draw,dotted},
forked edges
[$\begin{array}{lcc}
{}^*0 &\lnot ( p\lor (q\land r))\to (p\lor q)\land (p\lor r) & 1\\
\phantom{{}^*}1\text{a} &\dots& 2\\
\phantom{{}^*}1\text{b} &\dots& 4\\
\end{array}$
 [$\begin{array}{lcc}
  2\text{a} &p& ~\\
  \end{array}$
  [$\begin{array}{lcc}
  0 &\dots & 1\\
  1\text{a} &\dots& 2\\
  1\text{b} &\dots& 4\\
  \hline
  \multicolumn{3}{c}{\textcolor{red}{\text{\Lightning,2a,5a}}}
  \end{array}$,fill=yellow!70
  ]
  [$\begin{array}{lcc}
  0 &\dots & 1\\
  1\text{a} &\dots& 2\\
  1\text{b} &\dots& 4\\
  \hline
  \multicolumn{3}{c}{\textcolor{red}{\text{\Lightning,2a,5a}}}
  \end{array}$,fill=yellow
  ]
 ]
 [$\begin{array}{lcc}
  2\text{b} & q\land r & 3\\
  3\text{a} & q & \\
  3\text{b} & r & \\
  \end{array}$
  [$\begin{array}{lcc}
  0 &\dots & 1\\
  1\text{a} &\dots& 2\\
  1\text{b} &\dots& 4\\
  \hline
  \multicolumn{3}{c}{\textcolor{red}{\text{\Lightning,2a,5a}}}
  \end{array}$,fill=yellow!70
  ]
  [$\begin{array}{lcc}
  0 &\dots & 1\\
  1\text{a} &\dots& 2\\
  1\text{b} &\dots& 4\\
  \hline
  \multicolumn{3}{c}{\textcolor{red}{\text{\Lightning,2a,5a}}}
  \end{array}$,fill=yellow
  ]
 ]
]
\begin{scope}[on background layer]
\fill[fad] ([xshift=-1em,yshift=-1em]current bounding box.south west) 
    rectangle ([xshift=1em,yshift=1em]current bounding box.north east);
\end{scope}
\end{forest}
\end{document}