用谓词逻辑描述问题；化为子句集；用归结法证明。

Question

二、已知：(1)会朗读的人是识字的；(2)海豚都不识字；(3)有些海豚是很聪明的。求证：有些很聪明的东西不会朗读。
要求：用谓词逻辑描述问题；化为子句集；用归结法证明。

作业,对对答案,呵呵.

Answer 1

由（1）知：会朗读的东西真包含于识字的东西。
由（2）知：海豚与识字的东西无交集，
由（1）（2）得到，海豚与会朗读的无交集。（4）
由（3）知：海豚与聪明有交集。海豚真包含于东西，设交集为（5）
论证（5）真包含于聪明的东西，
由（4）（5）问题得证。