高考问答西安哪个城中村人最多:请用消解法原理证明:快乐学生问题(有关人工智能的问题）
来源：百度文库 编辑：高考问答 时间：2024/04/28 17:49:09
快乐学生问题
假设任何通过计算机考试并获得奖的人都是快乐的
任何肯学习或者幸运的人都可以通过所有的考试
张不肯学习但是他是幸运的,任何幸运的人都能获奖
请用消解法原理证明:张是快乐的
题目可能有问题，“假设任何通过计算机考试或者获得奖的人都是快乐的”
那就改一下。最好用公式推导一下，谢谢。
假设任何通过计算机考试并获得奖的人都是快乐的
任何肯学习或者幸运的人都可以通过所有的考试
张不肯学习但是他是幸运的,任何幸运的人都能获奖
请用消解法原理证明:张是快乐的
题目可能有问题，“假设任何通过计算机考试或者获得奖的人都是快乐的”
那就改一下。最好用公式推导一下，谢谢。
题目有错吧？题目似乎应该为“假设任何通过计算机考试或者获得奖的人都是快乐的”
因为如果张肯学习，那么张可以通过所有的考试，但是张没有获奖，所以根据“任何通过计算机考试并获得奖的人都是快乐的”，所以张并不快乐。
emmm还算详细吧？