对和说的话作相同的处理可得
把上面这些公式化成子句集得到
下面首先求谁是老实人。把并入得到。即比多如下一个子句
应用消解原理对进行消解
所以是老实人即从不说假话
除此之外无论如何对进行消解都推不出ANSWER(B)和ANSWER(A)。 下面来证明和不是老实人。
设不是老实人则有把它否定并入中得到子句集即比多如下一个子句
应用消解原理对2进行消解
所以不是老实人。
同理可以证明也不是老实人。 2. 设已知:
(1)能阅读者是识字的; (2)海豚不识字;
(3)有些海豚是聪明的;
求证:有些聪明者并不能阅读. (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归结
得证.
www.docin.com www.docin.com
