已知：（1）每个程序Program都存在Bug；（2）含

[问答题]

已知：

（1）每个程序Program都存在Bug；

（2）含有Bug的程序不能工作Work；

（3）P是一个程序；

要求：

1）定义谓词，并使用一阶谓词逻辑表示上述语句；

2）使用归结原理证明P不能工作。

查看答案及解析

车粤颖

发表于 2017-05-07 21:06:43 回复(0)

更多回答

创始元灵

发表于 2019-07-01 11:33:19 回复(0)

提交观点

问题信息

机器学习

上传者：车粤颖

难度：

2条回答 6收藏 1637浏览

扫一扫，把题目装进口袋