补充资料：可推断法则

可推断法则
dedutibte rate

　　可推断法则[‘止‘盛吐:。“一。口。Moe npa.II，o] 一个元数学定理(见元定理(n犯恤·t】100毗))，根据这个定理，为了证明一个公式A可由假设r推导出，容许使用有限次基于假设ri卜△‘(1簇i成n，凡)O)的推导(见逻辑推导(山巧份由n，】哈cal”;诸推导r，、△‘皆称为可推断法则的够助堆导(aux近卿deriVation)，而结论r卜△称为结果推导(心血泊g击幻份由n).可推断法则是合理法则(sound rule)的特殊情况.可推断法则的最重要例子是演绎定理(de-山川加n theon沈n)，归谬法(代月议无。ada忱切心切爪)法则，以及其他决定引人和消去逻辑符号的法则，例如析取引人法则(们习留for此加匕刃以无。n ofthedisjunc-tion):A一A VB和B!一A VB(这些可推断法则不需要辅助推演法则)，还有析取消去(elir恤nationofdisju。改ion):由r，A卜C和r，B}一C得到r，AVB卜 C.在某些情况下，可推断法则有如下结构:一个演算被扩充和加强，并且在新的演算中可推断性蕴涵某些关于基本演算中的可推断性的结果.特别地，上述可推断法则出现于消除描述性定义(七币-ptivede汤苗tions)的过程中(后者是指在构造一个数学理论时，规定概念和符号如何扩充的那些定义).以适当的可推断法则为工具，可以使形式推理中的转换方法更接近具体的数学推理.C.幻.M~撰【补注】上面的法则也称为导出法则(山h珑沮n幻e)(见可推导法则(山行铂blerU】e)).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。