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

Question

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

Answer 1

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