可导出规则

在逻辑学中, 可导出的推理规则是指可以通过现有的规则直接给出证明的规则, 即可以从它的前提借助其它已有的规则一直走到结论.

和可容许规则不同, 可导出规则必须真正成立, 因此该逻辑的所有模型都必须满足可导出规则.

1例子

若一逻辑有如下规则:$$\frac{pq}{r}和\frac{x}{p}$$那么如下规则可导出:$$\frac{xq}{r}$$

2相关概念

•

可容许规则

术语翻译

可导出规则 • 英文 derivable rule