在自然推理系统中，构造下列推理的证明。（1)偶数都能被2整除。6是偶数。所以6能被2整除。（2)凡大学

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

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

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

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

在自然推理系统中，构造下列推理的证明。每个喜欢步行的人都不喜欢骑自行车。每个人或者喜欢骑自行车或者喜欢乘汽车。有的人不喜欢乘汽车。所以，有的人不喜欢步行。(个体域为人类集合)

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

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