- 搜标题
- 搜题干
- 搜选项
问答题
【简答题】
在自然推理系统P中构造下面推理的证明：
如果今天是星期六，我们就要到颐和园或圆明园去玩。如果颐和园游人太多，我们就不去颐和园玩。今天是星期六，颐和园游人太多，所以，我们去圆明园玩。
答案：
