形成規則

形成規則(formation rule)是形式系統中規定哪些符號序列是合式的、哪些是不合式的規則。解釋後有意義的符號序列叫作合式的，解釋後沒有意義的是不合式的。形成規則實際上是合式公式的定義。例如在有的命題演算中，規定初始符號是：(甲)p、q、r、p1、q1、r1.、p2、q2、r2、p3、q3、r3、p4、q4、r4……。(乙)﹁、V。(丙)(，)。

形成規則是：(1)一甲類符號是一合式公式。(2)如符號序列X是合式公式，那么﹁X也是合式公式。(3)如符號序列X和Y是合式公式，那么( X ∨V)也是合式公式。(4)只有適合以上二條的符號序列是合式公式。這裡形成規則規定了經解釋後是命題的合式公式的構成方法。