logic
如何在图片旁边写出层次逻辑表达式？
如何在图片旁边写出分层逻辑表达式（如附图）？ ...
logic
logic
使用 Circuitikz 绘制触发器
我试图使用 Circuitikz 绘制一个 JK 触发器，但是 Overleaf 无法正确编译它： \documentclass{article} \usepackage[utf8]{inputenc} \usepackage{circuitikz} \tikzset{ % async latch/.style={flipflop, flipflop def={t1=D, t6=Q, t3=CLK, t4=\ctikztextnot{Q}}}, flipflop SR/.style={flipflop, flipflop def={t1=S, t3=...
logic
我如何在乳胶中写出这个符号？（不相交尖锐运算符）
我找不到用于表示不相交尖锐算子的符号。 它是圆圈内的 #。这个符号在 LaTex 中可用吗？如果没有，我该如何在数学等式中绘制它？ ...
logic
如何检测 .tex 文件中的 LuaLaTex 并有条件地排除部分内容
首先让我陈述一下我的“问题”。使用 PdfLateX 时，我的.tex文件编译得相当快，一切都很好。我使用 TeXStudio 并使用 PDF 预览功能。由于我的 LaTeX fu 不是最强大的，所以我经常编译（看看我最近是否破坏了某些东西；是的，我使用了版本控制系统以及）。 现在使用 PdfLaTeX，我们需要 3 到 3.5 秒才能完成编译。 最近我添加了\usepackage{fontawesome}一个，显然需要 XeLaTex 或 LuaLaTex。尝试了这两个选项后，只剩下 LuaLaTeX，因为另一个出错了。 我使用该fontawesom...
logic
我如何写逻辑 iff 符号？
我目前正在听一场关于形式系统的讲座（计算机科学讲座）。 讲师制作了一个符号，写成类似于覆盖<和>： 每次画的时候，他都会说“genau dann wenn”（德语，意为“如果，且唯若”）。 我如何使用 LaTeX 创建这个符号？ ...
logic
如何在公式中留空格
我想要在这个公式（单子一阶时间逻辑）中的变量之间留一个空格。我尝试使用\,和，\hspace{}但似乎都不起作用。有人能帮我吗？示例公式： $G(\forall (x) \forall (y)(p(x) \vee \neg p(y)))$ 它应该是 G space(\forall (x)space \forall (y)space(p(x)space \vee space \neg p(y))) ...
logic
我如何在 Hinman 的数学逻辑上的 LaTeX 中输入这些符号？
在我的教科书上数理逻辑基础，我无法产生下面的符号。 我尝试了 Detexify，我能输入的最佳公式是：\vDash_{\!\!\!_\mathfrak{A}}。我怎样才能更优雅地输入这个符号？此外，任何在 KaTeX 中生成它的解决方案都值得赞赏。 ...
logic
LaTeX 上的推理规则
嗨！我是 LaTeX 新手，一直在尝试完成我在图片中展示的推理规则。有人能帮我做一下吗？不是演示，我想要文档中的推理规则代码，但我真的不知道怎么做。如果有人能帮助我，我将不胜感激。 ...
logic
析取-消除子证明盒 LaTeX
如何在 LaTeX 中的 logicproof 环境中并排编写子证明（如图所示）？在命题逻辑中使用析取消除定律时会用到这种类型的证明。 已编辑：为了证明析取，需要采取以下步骤： 意思是$\chi$从得到$\phi \lor \psi$，你需要找到$\phi$给出$\chi$和$\psi$的证明$\chi$。由于这是同时完成的，我们使用两个彼此相邻的子证明盒。 ...
logic
菲奇式自然演绎证明的阴影部分
我正在使用 fitch 包（由 Selinger 教授编写，我相信现在由 Richard Zach 维护）用于教学目的 - - 我猜很多人都这样做。 如果能够用阴影突出显示部分校样，那将非常有帮助。恐怕我真的不知道该怎么做。我知道如何将整个校样放在阴影环境中，例如使用 mdframed 包。 我已经添加了一个用于简单防伪的 MWE，以及一个我希望能够用手绘的框进行遮蔽的图像。 \documentclass{article} \usepackage{fitch} \begin{document} \begin{displaymath} \begin{nd}...
logic
证明树中的垂直对齐
我尝试了几个软件包来对齐推理规则，但我还没有弄清楚如何避免以下问题。我的证明树如下所示： A ------------------------- B ----- D C 但应该看起来像这样： A ------------------------- B C ----- D 您对支持该对齐的软件包有什么建议吗？具体来说，我可以用 \infer 来实现这一...