形成規則

形成規則

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

目錄

正文


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