“推理规则”常见的英文表达是 "inference rule" 。
在逻辑学、计算机科学(如人工智能、编程语言理论等领域)中,这个术语被广泛使用,用于描述从已知前提推导出结论所依据的规则。例如:In propositional logic, there are several fundamental inference rules.(在命题逻辑中,有几条基本的推理规则 。)