一个单一规则来统一处理请参见一阶归结。注意有很多不同的形式逻辑系统，每个都带有合式公式、推理规则和语义的自己的集合。参见时间逻辑、模态逻辑或直觉逻辑的实例。量子逻辑也是一种不同寻常形式的逻辑。参见证明论。在谓词演算中，需要一个补充的推理规则。它叫做普遍化。 在形式逻辑的设置（和很多有关领域）中，推理规则通常用如下形式给出： 前提#1<br> 前提#2<br> ...<br> 前提#n  <br> 结论这个表达式声称，在某个逻辑推导期间已经获得了给定前提，同样可以认可特定结论。用来描述