请输入或粘贴题目内容
搜题
拍照、语音搜题，请扫码下载APP
题目内容
（请给出正确答案）
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。
(2)如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好所以小王是文科学生
(3)明天是晴天，或是雨天;若明天是晴天，我就去看电影;若我看电影，我就不看书，所以，如果我看书，则明天是雨天
答案
更多“在自然推理系统P中构造下面推理的证明。（1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如”相关的问题
第1题
在自然推理系统
中，构造下列推理的证明。每个喜欢步行的人都不喜欢骑自行车。每个人或者喜欢骑自行车或者喜欢乘汽车。有的人不喜欢乘汽车。所以，有的人不喜欢步行。(个体域为人类集合)
第11题
A.科学家利用科学定理证明程序，证明了《数学推理》一书中第二章的这个定理
B.中国象棋程序在人机对弈时，能够根据以往的棋局，学习XX战术，从而避免因为类似的错误而失败
C.小张家里新买的最新款的电视机，能够根据电视周围光线强弱，自动地调整电视屏幕亮度
D.有种名为siri的手机软件，采用自然语言处理技术，使用户能用自然对话与手机进行互动
