问题标签 [first-order-logic]

给定以下语言，这两个语句之间有什么区别吗？

1. 本喜欢狗，而约翰或玛丽都喜欢狗。
2. 本喜欢狗，而约翰或玛丽喜欢狗。

使用：

B: 本喜欢狗。
J：约翰喜欢狗。
M：玛丽喜欢狗。

我对两者都有 B & (JVM) ...

我仅限于 & () V ~ 作为我的符号

我目前正在研究 Fitch Format 一阶逻辑证明。我的讲师密切关注Jon Barwise 的语言、证明和逻辑。

我正在尝试做一些证明，但我在理解如何做这些证明方面遇到了一些麻烦。因为我已经阅读了 Language Proof and Logic 提供的内容，所以我想知道周围是否有其他书籍或资源使用 Fitch 格式进行正式证明。

另外，完成练习会很有帮助（！）。

谢谢

是否有任何软件使用 Fitch 格式（用于语言、证明和逻辑），允许放置一组特定的前提和目标，并让它向我们展示解决问题所需的完整步骤列表？

我一直在使用以下数据结构来表示 Haskell 中的命题逻辑：

欢迎对此结构提出任何意见。

但是，现在我想扩展我的算法来处理 FOL - 谓词逻辑。在 Haskell 中表示 FOL 的好方法是什么？

我见过的版本 - 几乎 - 上面的扩展，以及基于更经典的上下文无关语法的版本。有没有这方面的文献，可以推荐？

如果我想在一阶逻辑中表示“集合中具有最小半径的元素的值为 0”，那么以下是否正确？

∀ e ₁ ∈ S. ∀ e ₂ ∈ S. 半径 e ₁ ≤ 半径 e ₂   ⇒ 值 e ₁ = 0？

变量是否正确量化？

谢谢

仅使用这些谓词.....

不知道我写的是对还是错

也不确定，如何转换这条线......

感谢您的帮助...谢谢...

我在

http://code.google.com/p/aima-java/

我尝试了以下代码来使用 dpllsolver 解决表达式

输入是

CNF 变压器将其转换为

它不考虑逻辑的其他部分，只考虑第一项，如何使其正常工作？

如果其他卫星求解器可以做到，请建议我

如何在FOL（一阶逻辑）中表示以下句子“有只吃肉的动物”
以下表示是否正确？
Ǝx Eats(x, meat) 其中 x 是动物

我试图在 Fitch 中证明一些事情，但我被困在了一步，我有：

我想从中得到2. Cube(a)。

我知道这是可能的，因为我可以使用Ana Con2. 并选择 1. 作为前提，它说它是有效的。
有没有人可以告诉我如何在不使用的情况下做到这一点Ana Con？

我报名了一个我不应该参加的课程。所以现在我有点搞砸了，因为我的教授解释一阶逻辑时使用的任何符号我都不理解。我需要一些关于如何重新学习所有这些东西的书籍建议。例如：我对“量词”是什么感到困惑（我在谷歌搜索后确实知道）。有很多例子的好书吗？谢谢