變形規則

變形規則是形式系統中規定如何從一個或幾個公式經過符號變換而推導出另一公式的規則。從思維方面考慮，它經過解釋後就是演繹系統的演繹推理規則；從符號方面著眼，它是符號序列的變換規則。

從公理出發，套用變形規則進行推導可以得出一系列公式，這些公式經解釋後就是系統里的定理。例如有的命題演算的變形規則有兩個：命題變項代人規則和分離規則。