1.3命题变元和合式公式
• 命题变元
• 用P表达一种抽象命题，而不是一种详细命题时，称它为以表
达任意命题命题变元
• 不能确定真值
• 合式公式
• 由命题变元、逻辑联接词及圆括号构成合式公式
• 合式公式递归定义
• （1）单个命题变元是合式公式。
• （2）假如A是合式公式，那么¬ A是合式公式。
• （3）假如A和B均是合式公式，那么A∧B, A∨B, A→B和
AB 都是合式公式。
• （4）当且仅当有限次应用(1)、(2)、(3)条规则由逻辑联结
词、圆括号所构成故意义符号串是合式公式。
• 上面定义成为递归定义法，(1)称为递归定义基础，（2）和
（3）称为递归定义归纳，（4）称为递归定义界线。
3/37
第3页
