- 搜标题
- 搜题干
- 搜选项
问答题
【计算题】用谓词逻辑的归结原理求证：张是快乐的。假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的人都能获奖。求证：张是快乐的。
答案：
假设：任何通过计算机考试并获奖的人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，张不肯学习但他是幸运的，任何幸运的...
你可能感兴趣的试题
问答题
【计算题】用语义网络法表示如下知识：如果学校组织大学生机器人竞赛活动，那么李强就参加比赛。
答案：
该蕴含关系的语义网络如下图。其中，在前提条件中，机器人竞赛的组织者是学校，参赛对象是学生操纵的机器人，而机器人只不过是一...
