离散数学第2章命题逻辑等值演算.pptxVIP

第二章命题逻辑等值演算;公式的赋值定义： 将给定公式A中所含命题变元指定具体的一组真值，称这组真值为给公式 A的赋值（或解释）。 公式A在此组赋值（解释）下就具有确定的真值。 1）公式 A的所有赋值组数与公式所含变元有关 （共有 2n 组） 2）若公式A在此组解释下的真值为真(1,T），则称此组赋值为成真赋值。 3）若公式A 在此组解释下的真值为假(0,F），则称此组赋值为成假赋值。;命题公式的分类（根据公式在赋值下的真值情况进行分类） 1）若命题公式在它的各种赋值下取值均为真,则称命题公式是重言式或永真式。 2）若命题公式在它的各种赋值下取值均为假,则称命题公式是矛盾式或永假式。 3）若命题公式不是矛盾式,则称命题公式是可满足式。(或公式至少有一组成真赋值） 例：判断公式的类型 （现在只能用真值表方法） ┓(p → q )∧ q p →（p ∨ q ∨r) (┓p →q) →(q → ┓p) ┓(（p ∧ q ) →q） ;p q ┓(p→q)∧q 0 0 0 0 1 0 1 0 0 1 1 0 ;对于形似于条件命题的构成形式 即 A→ B 而且要说明是重言式 如：┐Q∧（Ｐ→Q） → ┐P 可利用条件联结词的性质来给予证明 分析1：若要得出：当设 A为真，B为假的情况不会出现， 那么A →B 为永真式。 可证明：设前件为真 分析2： 还可以从设 B为假，推出A为真的情况不会出现（A为假）， 那么A →B 为永真式。 证明： 设后件为假 (（Ｐ→Q）∧( Q→R)) →(Ｐ→R) ;不同真值表的公式 1）当命题变元确定后，通过五个连接词及其命题变元可以构成无数个不 同表现形式的命题公式。 问题：这些不同形式的命题公式的真值表是否都不相同？ 先看变元仅有两个p,q 那么关于这两个变元的公式的赋值仅有4组 任何关于这两个变元的公式的所有真值表只能是一组4位二进制数 4位二进制数的不同状态共有16＝24 关于2个变元的不同真值表的公式仅有16种。以此推断： 2）当命题变元确定后，由于其公式的赋值组数是确定的（共2n组） 公式在一组赋值下是一个真值（一位二进制） 在2n组赋值下对应为2n位二进制 n个变元的不同真值表的公式仅有（2）（2n）种 例：2个变元的16种不同真值表;P q;例：看几个公式的真值表：;第二章 命题逻辑等值演算 一、逻辑等值定义 给定两个命题公式A 和 B，设 A 和 B 含有共同的n个命题变元。若对于这 n 个命题变元的所有可能的赋值，命题公式A 与B的真值均相同，则称命题公式 A 逻辑等值于命题公式B。 并记作 A ? B。 逻辑等值的另外的形式定义： 给定两个命题公式A 和 B，若由A和B构成的等价式 A ? B为重言式（永真式），则称命题公式 A 逻辑等值于命题公式B。 两个定义可相互证明 注： 1、“?”不是连接词，仅表示两个公式具有等值关系（不能用等号），所构成的式子不是命题公式 2、等值的性质： 对任意公式A，Ｂ，Ｃ(进行演算的理论基础) １）自反性：A ? A ； ２）对称性：若A ?Ｂ，则Ｂ? A； ３）传递性：若A ?Ｂ，Ｂ?Ｃ， 则A ? Ｃ ;3、判断两个公式是否等值的方法 真值表方法：列出两个公式的真值表，看其真值是否相同（最基础的方法） 验证 公式 p→q 与公式┑p∨q等值 ┐(A ∧B ) ? ┐A ∨┐B 代数式的演算无法采用此种方法 演算法：以经过验算的等值式为基础（乘法公式－等值定律） 利用置换规则（等值代换）及其等值的性质 得到其他的等值式 （与代数式的演算类似） 下面引入经过验算得出的等值定律 为使定律使用的更广泛，定律中使用元语言的表示方法