摘要: 消解反演:证明真或假 反演求解:求解变量值 消解反演解法: 1.否定命题,将否定后的命题加入前提 2.通过前提之间互相组合,得到新的前提 3.最终前提与前提互相矛盾,得到NIL,此时证明完成 注:在第1步之后第2步之前,还需要将所有的命题转换成子句形式 例1: 设已知: (1)能阅读的人是识字的 ( 阅读全文
posted @ 2024-11-24 14:22 Rakuen 阅读(133) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示