以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Web Services & Semantic Web Services 』  (http://bbs.xml.org.cn/list.asp?boardid=10)
----  一阶逻辑和一阶谓词逻辑是一回事吗?  (http://bbs.xml.org.cn/dispbbs.asp?boardid=10&rootid=&id=28483)


--  作者:npuzhanglei
--  发布时间:3/12/2006 2:28:00 PM

--  一阶逻辑和一阶谓词逻辑是一回事吗?
看到一阶逻辑中包含函数和谓词,是不是一阶谓词逻辑不包含函数?
它两个的区别和联系在哪儿?
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
7,625.000ms