bussproofs
证明树中的垂直对齐
我尝试了几个软件包来对齐推理规则，但我还没有弄清楚如何避免以下问题。我的证明树如下所示： A ------------------------- B ----- D C 但应该看起来像这样： A ------------------------- B C ----- D 您对支持该对齐的软件包有什么建议吗？具体来说，我可以用 \infer 来实现这一...
bussproofs
bussproofs
如何使用 busproofs 调整证明树？
我曾经bussproofs.sty创建过这个自然演绎规则： 来源： \documentclass{beamer} \usepackage{bussproofs} \begin{document} \begin{frame} \AxiomC{$A\vee B$} \AxiomC{[$A$]} %\vspace{-2em} \noLine \UnaryInfC{\vdots} \noLine \UnaryInfC{$C$} \AxiomC{[$B$]} \...
bussproofs
前提中的公式使用总线证明溢出推导线
我来到 普遍量化的假设溢出了推导线。 我的消息来源是 \documentclass{beamer} \usepackage{bussproofs} \newcommand{\mydots}{ \def\extraVskip{-2pt} \noLine \UnaryInfC{\vdots} \def\extraVskip{2pt} \noLine } \begin{document} \AxiomC{$\exists t. A(t)$} \AxiomC{[$\forall t. A(t)$]} \mydots \UnaryInfC{$C$} \Righ...
bussproofs
bussproof 默认的最小节点高度设置
我注意到 bussproof 的节点高度取决于节点中公式的高度。 例如，“p”、“q”和“r”等节点的高度比“l”、“b”和“d”短，因为前者的公式具有较短的垂直长度。 我想使用 bussproof 的选项设置功能按照我的预期修复节点的最小高度。 例如，在 p、q、r 的情况下，它们应该具有上填充，以便它们的上水平线（表达判断）与其他派生词对齐，以便派生词的相似深度在页面中的同一行上水平对齐。 当然，我可以在所有节点中添加一些不可见的字符串，以便设置它们具有相同的最小高度，但我认为这不是整洁的解决方案。 \[ \AxiomC{D} \UnaryInfC{$...
bussproofs
bussproofs：如何使“prooftree”环境中的线条看起来更粗？
这是代码： \documentclass{article} \usepackage{bussproofs} \usepackage[fontsize=32pt]{fontsize} \begin{document} \begin{prooftree} \AxiomC{$a < b$} \AxiomC{$b < c$} \BinaryInfC{$ a < c $} \end{prooftree} \end{document} 我越来越： <如您所见，水平条比和符号的线条更细>。问题在于，条的粗细是固定的，而符号中的线条粗细取决...
bussproofs
bussproofs.sty 单行更长？
我该如何写出一行比公式更长的行，即使下一个公式的大小相同，以便行看起来更长。例如，我想写： a -- b -- c ---- a -- c 然而，我能做的最好的事情就是使用一个带有 3\quad的空公式并使用\vspace，但\vspace似乎没有效果，无论我把它放在证明树的哪个位置 - 在括号内还是在括号外。更改\vspace大小也无济于事。我写的代码是： \begin{prooftree} \AXC{ $ A $ } \UIC{ $ B $ } \UIC{ $ C $ } ...
bussproofs
表格内的 Prooftree 吗？
1.问题 我正在尝试构建一个具有两列和一行的表格，使得： 第一列由一个字母组成（垂直居中），其右侧是一张图片 第二列由 bussproofs 包编写的证明组成 每个单元格垂直和水平居中 表格不超过文本宽度 我怎样才能实现我的愿望？ 2.尝试 我的尝试如下： \documentclass[a4paper]{article} \usepackage{bussproofs} \usepackage{tabularx} \usepackage{graphicx} \setlength{\textwidth}{17cm} \hoffset -20mm \top...
bussproofs
与 Bussproofs 的推理线间距相同
我希望我的文档中的每个推导都满足以下两个要求： 两个连续推理线之间的距离应该始终相同（图中的红色箭头应具有相同的长度）。 论文符号应相对于上下推理线垂直居中（图中蓝线应等长）。 梅威瑟： \documentclass{article} \usepackage{amsmath} \usepackage{tikz} \usepackage{bussproofs} \usepackage{bussproofs-extra} \begin{document} \begin{center} \AxiomC{} \UnaryInfC{$B \vdas...
bussproofs
堆叠总线防护树的中心位置
我喜欢垂直堆叠使用 bussproofs 构建的证明规则。为了使用标签和标签，我将证明树封闭在方程式中，这就是为什么我引入 rawprooftree 环境，正如之前在对方程式等式的连续证明进行编号。直接封闭总线防护树不起作用。 但是，生成的堆栈很难看，因为规则没有居中。如何才能实现证明树相对于彼此居中？ 代码如下： \documentclass[fontsize=11pt,paper=a4,headsepline,footsepline,DIV=13,BCOR=12mm,bibliography=toc,chapterprefix=on]{scrbook}...
bussproofs
用于序列微积分证明的自定义环境
我正在使用该软件包bussproofs用 LaTeX 排版连续微积分证明。虽然我对结果非常满意，但编写代码却很麻烦。因此，我想定义一个自定义环境，让我的生活更轻松一些。通常，我会编写如下代码： \documentclass{article} \usepackage{bussproofs} \usepackage{amsmath} \begin{document} \begin{center} \begin{prooftree} \def\fCenter{\mbox{\Large$\Rightarrow$}} \Axiom$\alpha \ \fCe...
bussproofs
使用 busproofs 编写推理规则的紧凑方法
我有以下推理规则 我需要用该包来编写bussproofs并在 mathjax 中使用它。 Mathjax 支持总线防护 我不知道如何用相同的形式重现以下推理规则，例如<A, []> -> [] 为了编写这些规则，我使用了proof但它在 mathjax 上不可用 ...
bussproofs
总线证明中序列演算证明的推理证明标签
我正在研究可计算性和逻辑，需要按照书中的方式构建证明。但是，我找不到任何关于如何给出与顺序式证明中的前提相同的推理依据的信息。我能做的是： 但我需要做的是这样的： ...
bussproofs
使用 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 来生成上面的证明树，但是得到了完全不同的结果（下面的树）。有人可以编辑上面的乳胶...
bussproofs
有人知道如何在 bussproofs 中处理这些点（间隙）吗？
我正在尝试做一些类似于图片中证明的事情，其中证明步骤之间存在差距。我尝试了 bussproofs-extra 包，但它不允许我将两个推理中的点聚合到一个推理中（即类似于 BinaryInf，但点从两个 UnaryInf 指向它）。任何帮助都将不胜感激！ 例如，没有点的样本将如下所示： \documentclass{article} \usepackage{bussproofs} \usepackage{tikz} \usepackage{bussproofs-extra} \usepackage{amssymb,amsmath} \begin{doc...