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答案