用归谬法构造下列推理的证明。

用消解证明法构造下列推理的证明。

用附加前提证明法构造下列推理的证明。

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

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

在自然推理系统中，构造下列推理的证明。每个科学工作者都是刻苦钻研的，每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者，并且是聪明的。所以，王大海在他的事业中将获得成功。(个体域为人类集合)

用消解原理证明下列推理是正确的.

在自然推理系统F中构造下面推理的证明:

说明下列推理不能用附加前提证明法证明。

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

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

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

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

前提：

结论：