题目内容
（请给出正确答案）
[主观题]
用消解原理证明以下推理是正确的前提:（1)如果今天是星期天,我就去中山陵或玄武湖;（2)如果中山陵游人很多,我就不去中山陵,（3)今天是周末,但不是星期六（4)如果是周末,中山陵游人一定很多.结论:我去了玄武湖
如搜索结果不匹配，请 联系老师 获取答案
更多“用消解原理证明以下推理是正确的前提:（1)如果今天是星期天,…”相关的问题
第3题
在自然推理系统P中构造下面推理的证明。
点击查看答案
(1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。
(2)如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好所以小王是文科学生
(3)明天是晴天，或是雨天;若明天是晴天，我就去看电影;若我看电影，我就不看书，所以，如果我看书，则明天是雨天
第4题
利用消解原理指出以下推理是否正确.前提:(1)如果这里有演出,则通行是困难的;(2)如果他们按照指定的时间到达,则通行是不困难的;(3)他们按照指定时间到达了.结论:这里没有演出.
是一个正确的推理形式。
热门考试
全部 >
相关试卷
全部 >
