在自然推理系统P中，构造证明的方法通常不包括（）
A.附加前提证明法
B.归谬法
C.归纳法
D.直接证明法
正确答案：A
在自然推理系统P中，构造证明的方法通常不包括（）
3次阅读