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

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页