(4)(x)(
y)P(x,y)→(
y)(x)P(x,y)
目标取反化子句集: ~{(x)( ~{~[(
x)( ~{~[(
x)( [(x)( (x)(
y)P(x,
y)→(
y)(x)P(x,y)} y)(x)P(x,y)} v)(u)P(u,v)} u)~P(u,v)
搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读,第一范文网,提供最新教学研究人工智能_(马少平_朱小燕_著)_清华大学出版社_课后答案(23)全文阅读和word下载服务。
相关推荐: