在自然推理系统P中构造下面推理的证明。（1)如果今天是星期六，我们就要到颐和园或圆明园去玩，如

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

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

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

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

在自然推理系统中，构造下列推理的证明(可以使用附加前提证明法)。

在自然推理系统中，构造下列推理的证明。没有白色的乌鸦。北京鸭是白色的。因此，北京鸭不是乌鸦。

A.q

B.p

C.p∨﹁q

D.﹁p

试给出实例说明，在自然推理系统中使用规则时，如果不符合规则要求的条件将可能“证明”错误的推理。