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


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

A.直接证明法

B.附加前提证明法

C.归谬法

D.反证法

正确答案:A


Tag:归谬法 反证法 蕴涵 时间:2023-02-10 21:01:52