推理规则（翻译推理公式六句口诀）

规则推理是指把相关领域的专家知识形式化地描述出来，形成系统规则。

中文名

规则推理

解释

知识形式化的描述

形成

系统规则

用途

关联推理能力

这些规则表示着该领域的一些问题与这些问题相应的答案，可以利用它们来模仿专家在求解中的关联推理能力。

肯前肯后，否后否前。

在推理中，不管是充分条件还是必要条件，我们都可以写成P→Q的形式，在这个推理式里面，P就叫做前件，Q就叫做后件，我们这里说的肯前肯后，否后否前里面的前和后就是指的前件和后件。

也可以这样记忆：推出符号前面的叫做前件，推出符号后面的叫做后件。

肯前肯后：肯定前件的同时就要肯定后件，在已知P→Q成立的情况下，只要P成立，那么Q就一定成立。

否后否前：否定后件的同时就要否定前件，在已知P→Q成立的条件下，只要Q不成立，那么P就一定不成立。