问题标签 [fitch-proofs]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
computer-science - Fitch Format Proofs - 周围有什么资源吗？
我目前正在研究 Fitch Format 一阶逻辑证明。我的讲师密切关注Jon Barwise 的语言、证明和逻辑。
我正在尝试做一些证明，但我在理解如何做这些证明方面遇到了一些麻烦。因为我已经阅读了 Language Proof and Logic 提供的内容，所以我想知道周围是否有其他书籍或资源使用 Fitch 格式进行正式证明。
另外，完成练习会很有帮助（！）。
谢谢
computer-science - Fitch Format Proofs - 周围有自动求解器吗？
是否有任何软件使用 Fitch 格式（用于语言、证明和逻辑），允许放置一组特定的前提和目标，并让它向我们展示解决问题所需的完整步骤列表？
computer-science - 从 Cube(a) <-> a = a (Fitch) 导出 Cube(a)
我试图在 Fitch 中证明一些事情，但我被困在了一步，我有：
我想从中得到2. Cube(a)。
我知道这是可能的，因为我可以使用Ana Con2. 并选择 1. 作为前提，它说它是有效的。
有没有人可以告诉我如何在不使用的情况下做到这一点Ana Con？
logic - 致力于逻辑 - 惠誉系统
与逻辑和惠誉系统作斗争，
给定 (p ⇒ ¬q) 和 (¬q ∧ p ⇒ r) 和 p，我正在尝试使用 Fitch System 来证明 r。
关于我应该如何进行的任何想法？
logic - Fitch系统的逻辑推理
我正在研究一些逻辑，我发现了一个我无法解决的困难，
如何从前提 p=>q 证明 ¬q=>¬p？
谢谢
fitch-proofs - 给定 ((p ⇒ q) ⇒ r)，使用 Fitch 系统证明 ((p ⇒ q) ⇒ (p ⇒ r))
在给定 ((p ⇒ q) ⇒ r) 的情况下，我正在尝试使用 Fitch System 来证明
((p ⇒ q) ⇒ (p ⇒ r))。关于我应该如何进行的任何想法？
logic - Fitch 式证明
嗨，我在解决 Fitch 风格证明时遇到了麻烦，我希望有人能够帮助我。
前提：
目标：
logic - Fitch 中 P → Q ≡ ¬P ∨ Q 的形式证明
我正在尝试为 Fitch 中的“P → Q ≡ ¬P ∨ Q”构建正式证明。我知道这是真的，但我如何证明呢？
logic - 使用 Fitch 系统如何证明 ((p ⇒ q) ⇒ p) ⇒ p
仅供参考，我使用的逻辑程序无法进行矛盾介绍。这一点很可能无关紧要，因为我非常怀疑我是否需要使用任何形式的矛盾来证明这一点。
在我尝试解决这个问题时，我开始假设 (p ⇒ q) ⇒ p)
这是正确的吗？
如果是这样，下一步是什么？如果解决方案看起来如此明显，请原谅我。
logic - ((p ⇒ q) ⇒ p) ⇒ p 的形式证明
我正在尝试为 ((p ⇒ q) ⇒ p) ⇒ p 构建一个正式的证明。在惠誉。我知道这是真的，但我如何证明呢？
我只能使用 And Intro、And Elim、Or Inro、Or Elim、Neg Intro、Neg Elim、Impl Intro、Impl Elim、Biconditional Intro 和 Biconditional Elim。