问答题 在自然推理系统P中构造下面推理的证明。 明天是晴天，或是雨天；若明天是晴天，我就去看电影；若我看电影，我就不看书，所以，如果我看书，则明天是雨天。

问答题 在自然推理系统P中构造下面推理的证明。 如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好，所以小王是文科学生。

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