在命题逻辑自然推理系统P中构造下面推理的证明。√2是有理数或无理数。若√2是有理数，则2能整除3。若√2是无理数，则√3也是无理数。而2不能整除3。所以，√2和√3都是无理数。

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

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

前提：

结论：

前提中有一选言命题，并依据选言命题的逻辑性进行的推理，是

A联言推理

B选言推理

C或然推理

D直接推理

逻辑命题中只要推理结论的前提是正确的那么逻辑命题的结果绝对正确。 ()

我们中国很缺乏的逻辑推理素质是什么?

A. 充分条件推理

B. 负命题推理

C. 逆否推理

D. 联言推理

通常存在于逻辑和数学证明中的推理是()。

A、逻辑推理

B、演绎推理

C、归纳推理

D、理性推理

A、“三段论”的演绎推理

B、反证法

C、穷举法

D、数学归纳法

E、顿悟

F、类比

G、猜测

凡有逻辑性的推理，不一定是正确的推理。()

请用有具体内容的命题或推理，对下列逻辑形式进行解释

只有p，才q。

A.直觉

B.逻辑

C.知识

D.预测