首页 › 答案 › 题库 › 其它知识竞赛

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

在自然推理系统P中,构造证明的方法通常不包括()
A.附加前提证明法
B.归谬法
C.归纳法
D.直接证明法
正确答案:A