【简答题】已知: (1)能阅读者是识字的; (2)海豚不识字; (3)有些海豚是聪明的; 已知谓词R(x)表示x能阅读, L(x)表示识字,D(x)表示x是海豚,I(x)表示聪明的,请用归结原理证明:有些聪明者并不能阅读。 (15.0分)
举一反三
- 3.6设已知：(1)能阅读的人是识字的；(2)海豚不识字；(3)有些海豚是很聪明的。请用归结演绎推理证明：有些很聪明的人并不识字。
- 设已知:(1)能阅读的人是识字的;(2)海豚不识字;(3)有些海豚是很聪明的。
- 【单选题】设 M( x ) : x 是人; R( x ) : x 是聪明的 , 命题“一些人是聪明的”符号化为 A. （ ∃ x ）（ M （ x ）→ R （ x ）） B. （ ∀ x ）（ M （ x ） R （ x ）） C. （ ∃ x ）（ M （ x ） R （ x ）） D. （ ∀ x ）（ M （ x ） R （ x ））
- 利用谓词逻辑的自然演绎推理验证下面的推理： 每个学生或者是勤奋的或者是聪明的，所有勤奋的学生都会有所作为，并非每个学生都有所作为，所以有些学生是聪明的. 令 S(x)：x是学生， D(x)：x是勤奋的， C(x)：x是聪明的， H(x)；x是有所作为的 [br][/br] （1）写出前提和结论公式 （2）演绎推理过程
- 能表示x为奇数的表达式是() A: x%2==0 B: x%2==1 C: x%2 D: x%2!=0