![](https://static.youtibao.com/asksite/comm/h5/images/m_q_title.png)
[主观题]
在自然推理系统P中构造下面推理的证明。(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如
在自然推理系统P中构造下面推理的证明。
(1)如果今天是星期六,我们就要到颐和园或圆明园去玩,如果颐和园游人太多,我们就不去颐和园玩,今天是星期六,颐和园游人太多,所以我们去圆明园玩。
(2)如果小王是理科学生,他的数学成绩一定很好,如果小王不是文科生,他必是理科生,小王的数学成绩不好所以小王是文科学生
(3)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书,所以,如果我看书,则明天是雨天
查看答案
![](https://static.youtibao.com/asksite/comm/h5/images/solist_ts.png)