题目内容
（请给出正确答案）
提问人：网友jaffy588
发布时间：2022-01-06
[主观题]
在自然推理系统P2中构造下面推理的证明： （1)前提：p→q 结论：p→（p∧q) （2)前提：q→p， q«s， s«t， t∧r 结论：p∧q （3)前提：p→r， q→s， p∧q 结论：r∧s （4)前提：┐p∨r， ┐q∨s， p∧q 结论：t→（r∨s)
简答题官方参考答案
（由简答题聘请的专业题库老师提供的解答）
抱歉！暂无答案，正在努力更新中……
(1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。
(2)如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好所以小王是文科学生
(3)明天是晴天，或是雨天;若明天是晴天，我就去看电影;若我看电影，我就不看书，所以，如果我看书，则明天是雨天
