如何解决逻辑连接器和量词是否只是逻辑编程范例中运算符的另一个术语?
我正在学习逻辑编程范例,我的教授谈论命题中的量词和逻辑连接器。这些不仅是用于命题的运算符吗?我没有看到我的教授称它们为运算符,是出于某种原因,还是可以将它们归类为逻辑编程范例?
解决方法
如果您在谈论Prolog(而不是某些完整的First Order Logic证明者),operator是谓词或函数名称的技术术语,可以在子表达式之前,之后或之间编写。
这些确实包括“ 和”(,
),“ 或”(;
),“ 经典/材料”含义”(:-
)读作 head⊂body (但实际上是intuitionistic含义,因为它说“证明头部,证明身体”,和 not “身体为假或头部为真”)和 if-then-else (基于两个运算符->
,{{1 }})。
没有没有明确写明的量词-每个子句都对其所有变量进行隐式通用量化(变量是每个子句的局部变量)
For子句
;
阅读
f(X,Y) :- g(X,Z),h(Z,Y).
所有存在的量词都已通过Skolemization预先消除,从而将存在的量化变量替换为(新的)常量(可能在函数项内)。 (∀(X,Y,Z): f(X,Y).
(插入符号)运算符中还有left的少量剩余,用于bagof/3
之类的高阶谓词,其中^
用于创建“本地命名上下文”并限制{ X^...
之后的表达式的{1}}。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。