sml 中的逻辑简化
我正在 sml 中创建逻辑简化程序。但我对此输入有一个问题： - Or(Or(Var"x", Var"y"), Var"z"); val it = Or (Or (Var #,Var #),Var "z") : formula -…
合金表达式类型检查失败
我是合金（规范语言）的初学者，需要根据案例研究做一些进一步的工作，可以找到此处（代码位于第 5 页）。相关代码： open util/ordering[Time] as T0…
如何将这句话转换为一阶逻辑格式良好的公式？
我正在尝试使用一阶逻辑（谓词逻辑）将以下句子转换为格式良好的公式。 所有塔的颜色相同。 我定义了以下谓词： 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 => D) AN…
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
