first-order-logic
-
以系统的方式报告*为什么*查询在 Prolog 中失败
-
如何在谓词/一阶逻辑中编写语句 "Negation of a contradiction is a tautology"？
-
了解描述逻辑 (DL) 中概念的普遍限制
-
使用 Z3 检查一阶公式的可满足性
-
谁能想出如何测试这个 OCAML 函数？
-
Tool/Language 检查一阶逻辑的可满足性？
-
我们能否在具有一系列值的 ForAll 量词下使用一些变量来解决 Z3 中的一组约束？
-
如何使用 Isabelle/HOL 证明以下陈述？
-
叠加微积分和方程的排序
-
Coq 中量词的 DeMorgan 定律
-
Alloy 中的赋值和枚举的使用
-
变成否定形式
-
Prolog 中的树
-
STRIPS Planner 无法编译
-
Prolog 查询可满足但 returns 错误
-
将句子翻译成FOL表达式，对常量和量词感到困惑
-
用英语代表 FOL
-
SMT 究竟是针对哪些量词完成的？
-
EPR片段中prenex量化的顺序是否重要？
-
一阶逻辑 Prolog 匿名变量