如何将这句话转换为一阶逻辑格式良好的公式？
我正在尝试使用一阶逻辑（谓词逻辑）将以下句子转换为格式良好的公式。 所有塔的颜色相同。 我定义了以下谓词： Tower(x) :: x 是一座塔。 颜色(x, y)…
什么时候用连词，什么时候用蕴含？ （一阶逻辑）
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…
从 Cube(a) 导出 Cube(a) <-> a = a（惠誉）
我试图在 Fitch 中证明一些事情，但我被困在一个步骤上，我有： 1. Cube(a) <-> a = a 并且我想导出 2。立方体(a)由此而来。 我知道这是可能的，…
使用 DPLL sat 求解器求解
中找到了一个卫星求解器 我在http://code.google.com/p/aima-java/ 我尝试使用以下代码来使用 dpllsolver 求解表达式， 输入是 (A <=> B) AND (C …
Haskell 中的谓词逻辑
我一直在 Haskell 中使用以下数据结构来表示命题逻辑： data Prop = Pred String | Not Prop | And Prop Prop | Or Prop Prop | Impl Prop Prop | Equ…
Fitch 格式证明 - 有自动求解器吗？
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
- 共 1 页
- 1
