正文

形成规则是:(1)一甲类符号是一合式公式。(2)如符号序列X是合式公式,那么﹁X也是合式公式。(3)如符号序列X和Y是合式公式,那么( X ∨V)也是合式公式。(4)只有适合以上二条的符号序列是合式公式。这里形成规则规定了经解释后是命题的合式公式的构成方法。