原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
1 判断下列公式是否为可合一，若可合一，则求出其最一般合一。
(1) P(a, b), P(x, y)
(2) P(f(x), b), P(y, z)
(3) P(f(x), y), P(y, f(b))
(4) P(f(y), y, x), P(x, f(a), f(b))
解： (1) 可合一，其最一般和一为： σ={a/x, b/y} 。(2) 可合一，其最一般和一为： σ={y/f(x), b/z} 。
(3) 可合一，其最一般和一为： σ={ f(b)/y, b/x} 。(4) 不可合一。
2 把下列谓词公式化成子句集：
(1) ( x)( y)(P(x, y) ∧Q(x, y))
(2) ( x)( y)(P(x, y) →Q(x, y))
(3) ( x)( y)(P(x, y) ∨( Q(x, y) →R(x, y)))
(4) ( x) ( y) ( z)(P(x, y) → Q(x, y) ∨R(x, z))
解： (1) 由于 ( x)( y)(P(x, y) ∧Q(x, y)) 已经是 Skolem 标准型，且 P(x, y) ∧Q(x, y) 已经是合取范式，
所以可直接消去全称量词、合取词，得 { P(x, y) , Q(x, y)}
再进行变元换名得子句集： S={ P(x, y) , Q(u, v)}
(2) 对谓词公式 ( x)( y)(P(x, y) → Q(x, y)) ，先消去连接词“→”得：
( x)( y)( ?P(x, y) ∨Q(x, y))
此公式已为 Skolem 标准型。 再消去全称量词得子句集： S={ ?P(x, y) ∨Q(x, y)}
(3) 对谓词公式 ( x)( y)(P(x, y) ∨ ( Q(x, y) → R(x, y))) ，先消去连接词“→”得：
( x)( y)(P(x, y) ∨( ?Q(x, y) ∨R(x, y))) 此公式已为前束范式。
再消去存在量词，即用 Skolem 函数 f(x) 替换 y 得： ( x)(P(x, f(x)) ∨?Q(x, f(x)) ∨R(x, f(x)))
此公式已为 Skolem 标准型。最后消去全称量词得子句集： S={P(x, f(x)) ∨?Q(x, f(x)) ∨R(x, f(x))}
(4) 对谓词 ( x) ( y) ( z)(P(x, y) →Q(x, y) ∨R(x, z)) ，先消去连接词“→”得：
( x) ( y) ( z)(?P(x, y)∨Q(x, y) ∨R(x, z))
再消去存在量词，即用 Skolem 函数 f(x) 替换 y 得：
( x) ( y) ( ?P(x, y) ∨Q(x, y) ∨R(x, f(x,y)))
此公式已为 Skolem 标准型。 最后消去全称量词得子句集： S={ ?P(x, y) ∨Q(x, y) ∨R(x, f(x,y))}
3 对下列各题分别证明 G 是否为 F1,F2, … ,Fn 的逻辑结论：
(1) F: ( x)( y)(P(x, y) G: ( y)( x)(P(x, y)
(2) F: ( x)(P(x) ∧(Q(a) ∨Q(b))) G: ( x) (P(
文档评论（0）