在创建真值树时，我们使用一种称为“钩子”的东西来编写连词，而不是简单地逐行编写。我不知道它在英语中是否有其他名称。 我指的是用红色箭头标记的形状。所以是这个： 看起来应该是这样的： 这是可以实现的吗防护树或者我应该用类似的东西森林，tikz-qtree? 如果你能告诉我如何在 [{Ha}, just={(5)}, no line no [{Fa}, just={(5)}, no line no, my text={6} 以下代码的一部分。 \documentclass[10pt]{article} \usepackage[edges]{forest}...
我正在尝试排版一本即将出版的逻辑书。它包含许多逻辑树、真值表等。问题是出版商希望它是 Word 文件，因此我无法使用 latex 完成整个工作。我尝试将树导出为 png 以将其插入 Word，但打印质量太差。我尝试将文本从 pdf 导出到 word，但导出的文本要么错误，要么在我触摸文件时就中断了。我将与您分享的代码和树来自霍奇斯的“逻辑”，因为出于法律原因，我无法分享我正在排版的书。 \documentclass[10pt, preview]{standalone} \usepackage{prooftrees} \usepackage[]{amsmath...
我使用 prooftrees 进行表格校样，并希望能够使用横跨所有三行的括号来陈述第 2-4 行的对齐方式，该括号右侧是对齐文本。手册中描绘的两行示例是由 Clea F. Rees（prooftrees 的作者）提供的，但我不知道如何使对齐文本整齐排列，也不知道如何使其适用于两行以上。 \documentclass[a4paper, 12pt]{article} \usepackage[tableaux]{prooftrees} \usetikzlibrary{decorations.pathreplacing,arrows.meta,positionin...
我正在尝试使用 LaTeX 和软件包编写自然演绎，prooftrees从各方面来看，效果都很好。唯一的问题是我希望我的推导步骤左对齐，而不是居中对齐（这在我做真值树时很有意义，但对于 ND 来说就没那么好了）。 \renewcommand*\linenumberstyle[1]{(#1)} \begin{prooftree} { close with={\ensuremath{\ast}}, } [(A \land B), just=P [(A \to C), just=P ...
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 及更新版本中。有人知道解决方法吗？...
我正在使用 Clea F. Rees 的prooftrees软件包在 LaTeX 中排版 tableau 校样。一切运行正常，但有两个问题我不知道如何处理。首先，您可以在 tableau 的序言中指定的“to prove”行是左对齐的，而不是居中的。其次。我还没有找到一种方法将“qed”居中放置在 tableau 的最后一行下方；它总是错位的。 它看起来应该是这样的： 目前的情况是： 这是我的 MWE： \documentclass[leqno,hyperref={pdfpagemode=FullScreen},aspectratio=169]{beam...
使用以下代码，我尝试使用 prooftrees 环境创建证明树，该环境基于基于 pgf/TikZ 包的森林包： \usepackage{pstricks} %\usepackage{ot-tableau} %\usepackage{ytableau} \usepackage{forest} \usepackage[tableaux]{prooftrees} \usepackage{prooftrees} \usetikzlibrary{fit} \newcommand*{\lif}{\ensuremath{\mathbin{\rightarrow}}} \b...
\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 来生成上面的证明树，但是得到了完全不同的结果（下面的树）。有人可以编辑上面的乳胶...
这是我在 TeX.SE 上的第一个问题。 我需要排版几十棵模态逻辑树；与典型的一阶树不同，这些树需要额外的索引来指示模型中的世界。 这是一个典型的例子，不雅地强制使用qtree： \documentclass[11pt]{article} \usepackage{amssymb} \usepackage{qtree} \begin{document} \,\,\,\,\,\,\,\,\,\,\,\, \Tree [.{ $\,\,\,\,\, \,\,\,\,\,1. \,\,\,\Box P \,\lor\, \Box Q \,\,\,\,\...
我怎样才能在乳胶中做到这一点？这是我尝试过的， \documentclass{amsart} \usepackage{forest} \begin{document} \begin{forest} [$(\lnot \,A \to (B \to \lnot C)$ [$\lnot \, A$ [$A$] ] [ $(B \to \lnot \,C)$ [$B$] [$\lnot \, C...
我使用这个包prooftrees，基于 Ti钾Z forest。由于我必须绘制具有许多分支的证明，因此我希望某些节点较低，这可以通过“移动”选项实现。但是，如果我使用移动选项两次，似乎第二次使用时会使用第一条边的样式来填充第二条边内的跳跃。 我在以下示例中简化了证明： \documentclass{article} \usepackage[utf8]{inputenc} \usepackage{tikz} \usepackage{prooftrees} \begin{document} \begin{prooftree}{close with=$\ti...
我正在尝试排版一些证明树练习。但我需要使用包prooftree中的环境bussproofs以及包prooftree中的环境prooftrees。有没有办法可以重命名其中一个，以便它们都可以在单个文档中使用？ ...
为什么这里的“6”和“7”重叠？我该如何避免这种情况？ \documentclass[border=10pt]{standalone} \usepackage{prooftrees} \begin{document} \begin{prooftree}{} [A [A [A [A [A [A [A] ] ] ...
在尝试用 编写 tableaux 证明树时prooftrees，我遇到了将单个节点和分支节点放在同一行上的一些困难。 \documentclass{article} \usepackage{prooftrees} \begin{document} \begin{prooftree} { to prove=\neg(a \vee b) \vee ((a \vee b) \vee b) } [{(a \vee b) \vee ((a \vee b) \vee b)}, just = 1 [{\neg (a \vee b)} just =...
是否可以手动设置prooftrees表中的行号？或者隐藏单个行的行号？我想要类似的东西 1 A_1 \vdots n A_n 也许是由类似的东西产生的 [A_1 [\vdots, no line no [A_n, line no=n]]] ...