计算题 用谓词逻辑的归结原理求证：张是快乐的。假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。求证：张是快乐的。

用语义网络法表示如下知识：如果学校组织大学生机器人竞赛活动，那么李强就参加比赛。

问答题用语义网络法表示如下知识：如果学校组织大学生机器人竞赛活动，那么李强就参加比赛。

问题归约法

名词解释问题归约法

判断下列子句集中哪些是不可满足的：{¬P∨Q，¬Q，P，¬P}。

问答题判断下列子句集中哪些是不可满足的：{¬P∨Q，¬Q，P，¬P}。