ebproof
ebproof 证明树：边条件重叠
我正在使用该ebproof包来制作推理规则的派生树。这些规则在判断上方有前提，在左侧有附加条件： 为了生成这个，我使用： \begin{prooftree*} \hypo{\Gamma \vdash \triple{P'}{S}{Q'}} \infer[left label= $\begin{array}{r} Q' \geq 0 \\ P \geq P' \\ Q \leq Q' \end{arra...
ebproof
ebproof
ebproof 中的堆叠假设
我正在尝试使用 ebproof 包编写证明树。我有一长串谓词，其中大多数都很短，但有一个谓词很长，例如： \begin{prooftree} \hypo{h_0} \hypo{h_1} \hypo{h_2} \hypo{h_3 : \textit{a long predicate}} \hypo{h_4} \infer5[label]{\textit{conclusion}} \end{prooftree} 现在由于长度h_3我想堆叠假设来呈现类似的东西： h_0 h_1 h_2 h_3...
ebproof
bussproofs.sty 单行更长？
我该如何写出一行比公式更长的行，即使下一个公式的大小相同，以便行看起来更长。例如，我想写： a -- b -- c ---- a -- c 然而，我能做的最好的事情就是使用一个带有 3\quad的空公式并使用\vspace，但\vspace似乎没有效果，无论我把它放在证明树的哪个位置 - 在括号内还是在括号外。更改\vspace大小也无济于事。我写的代码是： \begin{prooftree} \AXC{ $ A $ } \UIC{ $ B $ } \UIC{ $ C $ } ...
ebproof
ebproof 和 Gentzen 风格的证明：如何局部改变分支的水平分离？
包裹ebproof是一种写作方式Gentzen 风格的形式化证明在 LaTeX 中。例如，使用 可以完成以下操作ebproof： 当然，蓝色轮廓是后来添加的。 问：如何将图中蓝色圆圈内的分支向左移动/移动？两个主分支之间的水平间距太长。我想更改仅此一家水平间距。使用选项“separation=1em”会全局更改间距，但在本例中这不是一个选项（会导致右侧分支上半部分重叠）。 它应该是一个“刚性变换”，即应该保留其他尺寸、长度和角度。 当右侧分支向左移动时，下方的推理线应该相应“缩放”（缩短）。 理想情况下，当代码包装在里面时，解决方案仍然有效，sidewa...
ebproof
注释 ebproofs 的前提和结论
我想用花括号和一些文本在左侧注释一个 ebproof 证明树，如下图所示： 我通常会用 来做这件事\text{Premises} \left\{ ... \right.，但我不知道如何对证明树的两个部分（必须在同一prooftree环境中）做到这一点。我不希望将注释作为前提或结论的一部分，因为这样证明树分隔符就会位于注释之间（如这问题）。 使用 ebproof 包可以实现这一点吗，或者您将如何排版这样的内容？ 我现在有的是： \documentclass{article} \usepackage{ebproof} \begin{document} \...
ebproof
使用 bussproofs 来验证乳胶树
\documentclass{article} \usepackage{bussproofs} \begin{document} \begin{prooftree} \AxiomC{P} \AxiomC{$\neg P,Q$} \BinaryInfC{Q} \AxiomC{E} \AxiomC{F} \BinaryInfC{G} \UnaryInfC{H} \BinaryInfC{R} \end{prooftree} \end{document} 我使用 bussproof 来生成上面的证明树，但是得到了完全不同的结果（下面的树）。有人可以编辑上面的乳胶...
ebproof
Ebproof 包：在 Windows 上更新 MikTeX v. 21.1 时出错
使用最新版本的ebproof软件包时，我遇到了编译错误。如何解决这个问题？ 这是 MWE： \documentclass[a4paper,12pt]{article} \usepackage{mathtools,amssymb} \usepackage{ebproof} \begin{document} \begin{prooftree} \hypo{ \Gamma, A &\vdash B } \infer1[abs]{ \Gamma &\vdash A\to B } \hypo{ \Gamma \vdash A } \infer2[a...
ebproof
LaTeX 中表示反驳计算树的移位分数
我想画一棵如图所示的分数形式的演绎树，不幸的是我没有找到合适的frac，over并且在文献中也没有找到更好的图像。 &...
ebproof
ebproof 无法与 Metropolis Beamer 主题配合使用
我正在尝试使用 metropolis 主题和overleaf 上的beamer包ebproof。（这似乎是 overleaf 特有的问题。）但是，ebproof'sprooftree环境不起作用。 以下是错误的示例： 生成它的 TeX： \documentclass[10pt]{beamer} \usetheme{metropolis} \usepackage{ebproof} \begin{document} \begin{frame} $$\begin{prooftree} \hypo{A} ...
ebproof
如何使用 ebproof 堆积假设
使用ebproof.sty包，可以编写推理规则如下 \begin{prooftree} \hypo{A} \hypo{B} \hypo{C} \infer3{D} \end{prooftree} 获得以下内容： A B C ___________________ D 在我的文档中，我的A、B和C假设很长，所以我想把它们堆叠在推理规则之上，就像这样 A B C _________ D 可以用 实现这样的排版吗ebproof？ ...
ebproof
'prooftree' 和 'stix' 包之间关于双引号的冲突
我遇到了以下问题：在环境中prooftree，我的双引号变成了希腊字母。导入包后，这种情况开始发生stix 当我输入"three"它编译成εthreeε 当我输入''three``它编译成′′three}} 以下是一些附加信息： 它曾经可以工作，直到我导入了 stix，这显然把一切都搞砸了，但我需要它来表示大量的符号。 文档其余部分的引述都很好。 有人能解释这种奇怪的互动并提供解决方案吗？ 这是一个最小的工作示例，它重点介绍了工作场景和不太工作的场景。 \documentclass[11...