离散数学教案.pptVIP

1.2 命题公式及其赋值 简单命题是真值唯一确定的命题逻辑中最基本的研究单位，所以也称简单命题为命题常项或命题常元。(proposition constant) 称真值可以变化的陈述句为命题变项或命题变元 (proposition variable)。也用p,q,r,…表示命题变项。 当p,q,r,…表示命题变项时，它们就成了取值0或1的变项，因而命题变项已不是命题。 这样一来，p,q,r,…既可以表示命题常项，也可以表示命题变项。在使用中，需要由上下文确定它们表示的是常项还是变项。 将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式或命题公式。 定义1.6 合式公式( wff ) (1)单个命题变项是合式公式，并称为原子命题公式。 (2)若A是合式公式，则(┐A)也是合式公式。 (3)若A，B是合式公式，则(A∧B)，(A∨B)，(A→B)，(A?B)也是合式公式。 (4)只有有限次地应用(1)～(3)形式的符号串才是合式公式。 合式公式也称为命题公式或命题形式，并简称为公式。 设A为合式公式，B为A中一部分，若B也是合式公式，则称B为A的子公式。 合式公式：Well Formed Formula 关于合式公式的说明 定义1.6给出的合式公式的定义方式称为归纳定义或递归定义方式。 定义中引进了A,B等符号，用它们表示任意的合式公式，而不是某个具体的