在自然推理系统P中，如果结论为蕴涵式，则通常采用的构造证明方法是（）

在自然推理系统P中，如果结论为蕴涵式，则通常采用的构造证明方法是（）
A.直接证明法
B.附加前提证明法
C.归谬法
D.反证法
正确答案：A