在自然推理系统P中，推理规则通常不包括（）

A.直接证明法

B.结论引入规则

C.置换规则

D.前提引入规则

正确答案：A