简答题

设已知：
（1）能阅读的人是识字的。
（2）海豚不识字。
（3）有些海豚是很聪明的。
用归结策略证明：有些很聪明的人并不识字。

【参考答案】

证明：首先定义谓词和常量：
R.ead（x）表示x是能阅读的；Know（y）表示y是识字的；Wise（z）表示......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)