推理规则 在逻辑中特别是数理逻辑中推理规则推论规则是构造有效推论的方案这些方案建立在一组叫做前提的公式和叫做结论的断言之间的语法关系这些语法关系用于推理过程中新的真的断言从其他已知的断言得出规则也适用于非形式逻辑和逻辑论证但是形式化更加困难和有争议 按照规定推理规则的应用纯粹是语法过程尽管如此它必须是有效的或者更精确地说保持有效性为了使保持有效性的要求有意义某种形式的语义与推理规则有关和推理规则自身的断言是必需的对于在推理规则和和语义之间相互关系的讨论请参见命题逻辑 命题逻辑中推理规则的显著例子是肯定前件和否定后件规则对于一阶谓词逻辑推理规则需要处理逻辑量词对这种论证的更详细的描述请参见有效性在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见一阶归结 注意有很多不同的形式逻辑系统每个都带有合式公式推理规则和语义的自己的集合参见时间逻辑模态逻辑或直觉逻辑的实例量子逻辑也是一种不同寻常形式的逻辑参见证明论在谓词演算中需要一个补充的推理规则它叫做普遍化 在形式逻辑的设置和很多有关领域中推理规则通常用如下形式给出  前提  前提    前提n   结论 这个表达式声称在某个逻辑推导期间已经获得了给定前提同样可以认可特定结论用来描述前提和结论二者的的精确的形式语言依赖于推导的实际上下文在一个简单的情况下你可以使用逻辑公式比如  AB  A     B 它是命题逻辑的肯定前件规则推理规则通常通过使用全称变量而公式化为规则模式在上面的规则模式中A和B可以被实例化为论域有时约定为某种受限制的子集比如命题的任何元素来形成推理规则的无限集合 证明系统形成自一组规则它们可以被链接在一起形成证明或推导任何推导都只有一个最终结论它是要证明或推导的陈述如果在推导中留下了未满足的前提则推导就是假言陈述如果前提成立那么结论成立