複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/形成規則/22475622
複製
複製成功

形成規則

鎖定
形成規則(formation rule)是形式系統中規定哪些符號序列是合式的、哪些是不合式的規則。解釋後有意義的符號序列叫作合式的，解釋後沒有意義的是不合式的。形成規則實際上是合式公式的定義。例如在有的命題演算中，規定初始符號是：(甲)p、q、r、p1、q1、r1.、p2、q2、r2、p3、q3、r3、p4、q4、r4……。(乙)﹁、V。(丙)(，)。 [1] 
中文名
形成規則
外文名
formation rule
形成規則是：(1)一甲類符號是一合式公式。(2)如符號序列X是合式公式，那麼﹁X也是合式公式。(3)如符號序列X和Y是合式公式，那麼( X ∨V)也是合式公式。(4)只有適合以上二條的符號序列是合式公式。這裏形成規則規定了經解釋後是命題的合式公式的構成方法。
參考資料
  • 1.    金炳華．哲學大辭典：上海辭書出版社，2007