![prooftrees.sty 中 tableau 的闭包符号和终端节点之间的空格](https://linux22.com/image/456235/prooftrees.sty%20%E4%B8%AD%20tableau%20%E7%9A%84%E9%97%AD%E5%8C%85%E7%AC%A6%E5%8F%B7%E5%92%8C%E7%BB%88%E7%AB%AF%E8%8A%82%E7%82%B9%E4%B9%8B%E9%97%B4%E7%9A%84%E7%A9%BA%E6%A0%BC.png)
prooftrees
我尝试根据包的文档 (参见)排版带有包的 tableau。https://ctan.joethei.xyz/graphics/pgf/contrib/prooftrees/prooftrees.pdf) 和 Peter Smith 的指南(参见https://www.logicmatters.net/resources/pdfs/L4LProoftrees.pdf)。对我来说,终端节点和闭包符号之间总是会出现奇怪的空格。我用几个 TeX Live 版本测试了这个包,问题出现在 TeX Live 2019 及更新版本中。有人知道解决方法吗?下面是我使用的一些代码:
\documentclass[tikz,border=10pt]{standalone}
\usepackage[tableaux]{prooftrees}
\begin{document}
\begin{tableau}
{
close with={\ensuremath{\ast}}
}
[P \land (Q \lor \lnot R), checked
[\lnot ((P \land Q) \land S), checked
[\lnot (P \land S) \lor R, checked
[\lnot\lnot S
[P
[Q \lor \lnot R, checked
[\lnot (P \land Q), checked
[\lnot P, close]
[\lnot Q
[Q, close]
[\lnot R
[\lnot (P \land S), checked
[\lnot P, close]
[\lnot S, close]
]
[R, close]
]
]
]
[\lnot S, close]
]
]
]
]
]
]
\end{tableau}
\end{document}
预先感谢您的帮助!
答案1
这是 0.7 版本中出现的一个错误,已在 0.8 版本中修复。
需要说明的是,我所熟悉的 tableaux 证明系统没有一个能对齐终端节点。所以这肯定是不是某事prooftrees
应该或将要发生。
错误的间距是我没有发现的一个错误,当然不是设计造成的。
电流输出:
对于代码:
\documentclass[tikz,border=10pt]{standalone}
\usepackage[tableaux]{prooftrees}
\begin{document}
\begin{tableau}
{
close with={\ensuremath{\ast}}
}
[P \land (Q \lor \lnot R), checked
[\lnot ((P \land Q) \land S), checked
[\lnot (P \land S) \lor R, checked
[\lnot\lnot S
[P
[Q \lor \lnot R, checked
[\lnot (P \land Q), checked
[\lnot P, close]
[\lnot Q
[Q, close]
[\lnot R
[\lnot (P \land S), checked
[\lnot P, close]
[\lnot S, close]
]
[R, close]
]
]
]
[\lnot S, close]
]
]
]
]
]
]
\end{tableau}
\end{document}