推导规则
(重定向自推理规则)
在逻辑学中, 推导规则是句法意义下从前提得到结论的一些规则, 这些规则通常是对语义规则的句法解读. 每一条规则对应于一个重言式.
推导规则使用相继式写出. 对于相继式 ,表示 “ 可以推导出 ”, 是前提, 是结论.
1例子
• | 肯定前件: |
这个推导规则说的是, 若在语境 下, 成立, 且 也成立, 那么 成立.
又见:
• |
• |
2相关概念
借助推导规则, 可以定义什么是 “证明”:
一段演绎是一个有限树, 每一个节点是一个相继式, 节点之间的关系满足一些推导规则.
如果存在一段演绎使得其全部的分支的前提总是没有条件的相继式、而最终结论是 , 我们就认为相继式 成立.
有时也把演绎直接称为证明.
术语翻译
推导规则 • 英文 inference rule • 日文 推論規則