在自然推理系统P中，构造证明的方法通常不包括（）

A.附加前提证明法

B.归谬法

C.归纳法

D.直接证明法

正确答案：A