单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级离散数学授课人：李朔Email:chn.nj.lsgmail1命题公式的推广任意一个谓词公式是不确定的主要是存在三种类型的变元：自由个体变元命题变元及谓词变元特别注意约束变元在任一公式中由量词所限定的约束变元并不影响公式的确定性定义2-5.1 给定任何两个谓词公式wff A和wff B设它们有共同的个体域E若对A和B的

命题：称能判断真假的陈述句为命题命题公式：若在复合命题中pqr等不仅可以代表命题常项还可以代表命题变项这样的复合命题形式称为命题公式命题的赋值：设A为一命题公式p p …p 为出现在A中的所有命题变项给p p …p 指定一组真值称为对A的一个赋值或解释若指定的一组值使A的值为真则称成真赋值真值表：含n(n≥1)个命题变项的命题公式共有2n组赋值将命题公式A在所有赋值下的取值情况列成表称为A的

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级§1.7 范式如何判定命题公式为永真式永假式和可满足式或二个命题公式等价归纳有三种方法：(1)真值表法：对于变元的所有真值指 派看对应命题公式的真值 (2)命题演算方法：化简命题公式至最简式看是否存在和 (Ｐ∨?Ｐ)(Ｐ∧?Ｐ)等价若不则为可满足的(3)范式方法：本节就介绍此法§1.7 范式什么叫范式 把命题公式化归为一种

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级复 习1逻辑等值定义 给定两个命题公式A 和 B设 A 和 B 含有共同的n个命题变元若对于这 n 个命题变元的所有可能的赋值命题公式A 与B的真值均相同则称命题公式 A 逻辑等值于命题公式B 并记作 A ? B 逻辑等值的另外的形式定义： 给定两个命题公式A 和 B设 A 和 B 含有共