发布时间 : 星期二 文章西安科技大学人工智能题库9（含答案）更新完毕开始阅读08fc5ddd69dc5022aaea0076
求证:有些聪明者并不能阅读. (15分) 证:定义如下命题: R(x):x能阅读; L(x):x识字; I(x):x是聪明的; D(x):x是海豚;
把已知条件及求证结论翻译成谓词公式为 x(R(x)→L(x))...已知 x(D(x)→～L(x))...已知 x(D(x)∧I(x))...已知
x(I(x)∧～R(x))...求证结论
将已知条件,求证结论的反化成子句集 ①～R(x)∨L(x) ②～D(y)∨～L(y) ③D(a) ④I(a)
⑤～I(z)∨R(z)
⑥～L(a)......2,3归结｛a/y｝ ⑦～R(a)......1,6归结｛a/x｝ ⑧R(a)......4,5归结｛a/z｝ ⑨□......7,8归结 得证.