问答题
用谓词逻辑的归结原理求证：张是快乐的。假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。求证：张是快乐的。
假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 用语义网络法表示如下知识：如果学校组织大学生机器人竞赛活动，那么李强就参加比赛。
名词解释 问题归约法
问答题 判断下列子句集中哪些是不可满足的：{¬P∨Q，¬Q，P，¬P}。
