首页 › 答案 › 题库 › 其它知识竞赛

在自然推理系统P中,推理规则通常不包括()

在自然推理系统P中,推理规则通常不包括()
A.直接证明法
B.结论引入规则
C.置换规则
D.前提引入规则
正确答案:A