变形规则

变形规则是形式系统中规定如何从一个或几个公式经过符号变换而推导出另一公式的规则。从思维方面考虑，它经过解释后就是演绎系统的演绎推理规则；从符号方面着眼，它是符号序列的变换规则。从公理出发，应用变形规则进行推导可以得出一系列公式，这些公式经解释后就是系统里的定理。例如有的命题演算的变形规则有两个：命题变项代人规则和分离规则。