在自然推理系统P中，推理规则通常不包括（）
A.直接证明法
B.结论引入规则
C.置换规则
D.前提引入规则
正确答案：A
在自然推理系统P中，推理规则通常不包括（）
6次阅读