在自然推理系统P中，构造下面各推理的证明．

在自然推理系统P中，构造下面推理的证明．

如果李淑敏是理科生，她一定学微积分；如果她不是文科学生，她一定是理科学生．她没学微积分，所以她是文科生．

在自然推理系统P中，构造下面推理的证明．

小王学过英语或日语．如果小王学过英语，则他去过英国；如果他去过英国，他也去过日本，所以小王学过日语或去过日本．

请帮忙给出正确答案和分析，谢谢！

在自然推理系统P中构造下面推理的证明。

(1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如果颐和园游人太多，我们就不去颐和园玩，今天是星期六，颐和园游人太多，所以我们去圆明园玩。

(2)如果小王是理科学生，他的数学成绩一定很好，如果小王不是文科生，他必是理科生，小王的数学成绩不好所以小王是文科学生

(3)明天是晴天，或是雨天;若明天是晴天，我就去看电影;若我看电影，我就不看书，所以，如果我看书，则明天是雨天

在一阶逻辑自然推理系统中构造下面推理的证明。

前提：

结论：

请帮忙给出正确答案和分析，谢谢！

在一阶逻辑自然推理系统中构造下面推理的证明。不存在不能表示成分数的有理数。无理数都不能表示成分数。所以，无理数都不是有理数。