| 形成规则 formation rule 形式系统中规定哪些符号序列是合式的，哪些是不合式的规则。解释后有意义的符号序列叫作合式的，解释后没有意义的是不合式的。形成规则实际上是合式公式的定义。例如在有的命题演算中，规定初始符号是：(甲)p、q、r、p1、q1、r1，…。(乙)、∨。(丙)(，)。形成规则是：(1)一甲类符号是一合式公式。(2)如符号序列X是合式公式，那么X也是合式公式。(3)如符号序列X和Y是合式公式，那么(X∨V)也是合式公式。(4)只有适合以上三条的符号序列是合式公式。这里形成规则规定了经解释后是命题的合式公式的构成方法。 |