logicproof
析取-消除子证明盒 LaTeX
如何在 LaTeX 中的 logicproof 环境中并排编写子证明（如图所示）？在命题逻辑中使用析取消除定律时会用到这种类型的证明。 已编辑：为了证明析取，需要采取以下步骤： 意思是$\chi$从得到$\phi \lor \psi$，你需要找到$\phi$给出$\chi$和$\psi$的证明$\chi$。由于这是同时完成的，我们使用两个彼此相邻的子证明盒。 ...
logicproof
logicproof
证明树中的垂直对齐
我尝试了几个软件包来对齐推理规则，但我还没有弄清楚如何避免以下问题。我的证明树如下所示： A ------------------------- B ----- D C 但应该看起来像这样： A ------------------------- B C ----- D 您对支持该对齐的软件包有什么建议吗？具体来说，我可以用 \infer 来实现这一...
logicproof
我如何排版 Copi 风格的校样？
我该如何以这种风格排版证明？也就是说，我该如何编写三列证明，第一列对前提或断言进行编号，第二列包含前提或断言本身，第三列包含断言的依据（如果该行的第二列包含断言）？ ...
logicproof
如何正确地将 mathpartir 中的 \inference* 规则居中
继续http://tex.stackexchange.com/a/656192那么，如何将带有名称或附加条件的推理规则集中\[…\]在较窄的列中呢？例如， \documentclass[twocolumn]{article} \pagestyle{empty} \usepackage{mathpartir} \begin{document} \noindent A sentence introducing the first rule, which has a name and protrudes to the left: \[%\quad\ \,\qqua...
logicproof
有没有简单的方法可以在 LaTex 中绘制逻辑树？
我选修了入门逻辑，我们需要绘制逻辑树。我们的老师不接受除他之外的任何类型的编号位置。所以我搜索了操作指南，但我没有看到它的确切版本，而且由于我编码很差，所以我认为最好问一下。我如何在 LaTex 中绘制这个？ ...
logicproof
我怎样才能将证明名称改为粗体？
我使用以下方法更改了证明名称 \renewcommand{\proofname}{Demonstração:} ，但我想要名称“示威游行“以粗体字体显示。我该怎么做？拜托！ ...
logicproof
惠誉与 Beamer 的自然扣除
我正在使用 Beamer 和 Fitch 自然扣除法制作演示文稿Selinger 包装。 我正在尝试使用 \onslide 命令。出于某种原因，当我遵循语法并在后面使用括号 {} 时，它不起作用，但如果我按原样编写，它就会起作用。这是我找到的可以正常工作的代码： \documentclass[10pt,pdf]{beamer} \usepackage{fitch} \usepackage{amssymb} \begin{document} \begin{frame} \frametitle {Working} \[ \begin{nd} \have...
logicproof
逻辑和数学证明的动画
关于数学证明动画我有两个问题： 我知道可以使用 Beamer 包创建演示文稿。我还想使用动画。是否有选项可以像 PowerPoint 演示文稿一样呈现演示文稿，或者是否有选项将文件导出为 pdf，然后每个动画都会生成另一页？我将展示数学证明，如果我有 50 页证明，我估计如果我使用动画，pdf 中可能会有 2000 页，这可能会增加计算机的负担，并且不太容易绕过文件。 我想在自然演绎中写证明，我很高兴发现有一套来编写它们。我想在课程中展示我编写的证明，因此使用 beamer 包并加入动画。我看到 Beame...
logicproof
LaTeX 上进程代数的过渡语义
正如标题所述，我正在努力寻找一种方法来在 LaTeX 上为硕士论文编写以下过渡语义。 有人能帮助我吗？ 编辑1：正如评论中所建议的，我尝试逐一编写过渡规则，但结果不佳： Tau $\overline{\langle\tau . P, \rho\rangle \stackrel{\tau}{\longrightarrow}\langle P, \rho\rangle}$ $O u t_{C} \frac{v=\llbracket e \rrbracket}{\langle c ! e . P, \rho\rangle \stackrel{c ! v}{\lo...
logicproof
我如何从类似于图片中的代码中安装包？
我正在尝试使用一个进行自然推理的包，这就是 fitch.sty。 因此，我在 Text Maker 中的“\begin{document}”之前写入以下内容：“\usepackage{fitch}”。但出现了一个错误，即“未找到文件‘fitch.sty’”。然后我搜索了解决方案，其中一个解决方案建议手动安装它，但我遇到了一个问题，要手动安装它，我需要有该文件，但我没有该文件，我得到了如下结果： 那么，我该如何安装这样的东西？ ...
logicproof
好看的逻辑推导
我正在为逻辑类进行推导，我希望我的图表看起来像这样： 这是我对该natded包的尝试： \documentclass{article} % https://mirrors.rit.edu/CTAN/macros/latex/contrib/natded/natded.pdf \usepackage{natded} \usepackage{soul} \usepackage{amsmath} \begin{document} $\Jproof { \vspace{-0.25cm} \proofline {\text{\st...
logicproof
如何在逻辑证明中换行？
我目前正在尝试找到一种在逻辑证明中设置换行符的方法。我有几个证明太长了，被页面边缘截断了。 理想情况下，我正在寻找一种方法来使行自动换行，如果它太长，但如果我知道如何手动换行，这也会有很大帮助。 到目前为止，我已经尝试了 makecell 包中的 \ \ 和 \newline、\makecell 和 \thread，将整个证明放在只有一列且宽度固定的表中，并将各行放在这样的表中，但没有任何效果。 我确信解决方案非常明显，但我似乎找不到它。下面是其中一个证明的代码以及它在完成的 PDF 中的样子的屏幕截图。 \setlength\subproofhorizsp...
%20%E7%AE%AD%E5%A4%B4.png)