算术规则
rule of arithmetic
缩写规则
contraction rule
所有规则
strictly all rules
特定规则
ad hoc rule
特定决策规则
ad hoc decision rules
特劳贝规则
Traube's rule
替换规则
replacement rule
条件规则
conditional plan; conditional rule
调度规则
scheduling discipline; scheduling rule
调解与仲裁规则
rules of reconciliation and arbitration
铁的规则
iron law
停机规则
stopping rule
同类规则
ejusdem generis rule
同语反复规则
tautology rule
统一规则
unification rule
推导规则
derivation rule
推理规则
inference rule
推理规则完备性
inference rule completeness
推理规则有效性
inference rule soundness
推论规则
consequence rule; rule of inference