补充资料：导出法则

导出法则
derived rule

　　导出法则l山幼，目n此;npo”翔口“oe np姗月。]，给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出，则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中，由于 AOB，BOC卜A，C成立，所以推演法则 A OB，B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的，但它不是一个导出法则.
　　

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