人工智能_(马少平_朱小燕_著)_清华大学出版社_课后答案(18)

第四章 课后习题答案

1、化下列公式成子句形式： （1）（

x）[P（x）→P（x）]

（2）{~{（x）P（x）}}→（x）[~P（x）] （3）~（x）{P（x）→{（（4）（

y）[P（y）→P（f（x，y））]∧~（

y）[Q（x，y）→P（y）]}}

y）[P（x，y）

x）（y）{[P（x，y）→Q（y，x）]∧[Q（y，x）→S（x，y）]}→（x）（

→S（x，y）] 答：（1）( (

x)[P(x)→P(x)] x)[~P(x)∨P(x)]

{~P(x)∨P(x)}

（2）{~{(x)P(x)}}→(x)[~P(x)] {( {( (

x)P(x)}∨(x)[~P(x)] x)P(x)}∨(y)[~P(y)] x)(y)[P(x)∨~P(y)]

{P(x)∨~P(f(a))} （3）~(

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新教学研究人工智能_(马少平_朱小燕_著)_清华大学出版社_课后答案(18)全文阅读和word下载服务。