单项选择题

A.表达式变换的推理规则
B.变量运算的推理规则
C.一定的子句公式的推理规则
D.规则演绎的推理规则