（4）子句c1= ~pv~q和c2=pvq 的归结式是（  ）
A 空子句                 B 重言式 C 任意子句
本题中，在学苑中心给出的答案是A
本人觉得不对，应该选择B
在张仰森编写的人工智能原理复习与考试指导一书的127页第一句话，在求归结式时，不能同时消去两个互补文字对，消去两个互补文字对所得的结果不是两个亲本子句的逻辑结论。
所以该题有消去一个后取获取为重言式
不知道大家的看法如何

这题肯定是B啊...

课本说的是对的，答案是B也没错。归结消去p和 ~p后，剩余的做析取，为~qvq，正好为1，所以为重言式。
人工智能老师也讲到了这里。

[ 本帖最后由 qhdshya 于 2007-5-16 14:41 编辑 ]