已知: (1)能阅读者是识字的; (2)海豚不识字; (3)有些海豚是聪明的; 已知谓词R(x)表示x能阅读 L(
已帮助 人
已知: (1)能阅读者是识字的; (2)海豚不识字; (3)有些海豚是聪明的; 已知谓词R(x)表示x能阅读, L(x)表示识字,D(x)表示x是海豚,I(x)表示聪明的,请用归结原理证明:有些聪明者并不能阅读。

回答
共1条回复-
A,B,C,D,E,F
