在自然推理系统P中,构造证明的方法通常不包括()

9 查阅

在自然推理系统P中,构造证明的方法通常不包括()

A.附加前提证明法

B.归谬法

C.归纳法

D.直接证明法

参考答案:

答案:A

知识竞赛