導出推演規則

這種規則可以將若干步推演簡化為一步，並可用元語言加以表述和證明。導出規則和初始規則不一樣。初始規則不能省略，導出規則可以省略。使用導出規則的任何演繹，也總能用初始規則推出 ^[1]  。