构造下而推理的证明.小王学过英语或日语，如果小王学过英语，则他去过英国;如果他去过英国，他也去过日本,所以小王学过日语或去过日本.

对下述每一论证构造一个证明，给出所有必须增加的断言，指出用于每一步的推理规则。

(a)煤或大米将涨价，不是这种情况。如果铁路中断运输，那么煤将涨价。因此，铁路不会中断运输.

(b)从语句“今天下雨或明天后天都下雨”和“明天不下雨或后天不下雨而今天下雨”可推出“今天下雨”。

(c)如果李敏来通信工程学院、若王军不生病，则王军一定去看望李敏。如果李敏出差到南京，那么李敏一定来通信工程学院。王军没有生病。所以、如果李敏出差到南京，王军一定去看望李敏。

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

A.推理和证明

B.算法构造和计算

C.演绎和归纳

D.“证”和“算”

在自然推理系统中，构造下列推理的证明。

(1)偶数都能被2整除。6是偶数。所以6能被2整除。

(2)凡大学生都是勤奋的。王晓山不勤奋。所以，王晓山不是大学生。

A.英语

B.法语

C.万国新语

D.日语

A.英语

B.日语

C.法语

D.蒙古语