Li

将上述谓词公式转化为子句集并进行归结如下： 由

R1可得子句： 1 Poor x ∨ () () ∨

～Smart x () Happy x 由

R2可得子句： 2 ～() ()

read y ∨ Smart y 由

R3可得子句： () 34 read Li ()

～ Poor Li 由

R4可得子句： 5 ～() ()

Happy z ∨

Exciting z

有结论的否定可得子句： 6 () ～

Exciting Li

根据以上

6条子句，归结如下： ～ Happy Li () ⑤⑥ Li/z () ∨ ～ () ⑦① Li/x

7891011 Poor Li Smart Li () ⑧④ ～ Smart Li ～ read Li () ⑨② Li/y □ ⑩③

由上可得原命题成立。 第 4章

4.9答案 有毛发有奶 哺乳动物

有羽毛会飞会下蛋 鸟 吃肉

肉食动物有蹄 有爪有犬齿眼盯 前方 有蹄动物 嚼反刍动 物 黄褐 色

身上有暗 斑点

金钱豹 黑色 条纹 虎 长脖 子长腿 长颈鹿斑马 不会 飞 鸵鸟 会游 泳 有黑 白两 色 企鹅 善飞 信天翁 4.11答案