离散数学第二章第三节分析.ppt

第2-3讲 等价式与蕴含式 1. 谓词公式的赋值 2. 等价式和蕴含式 3. 等价式和蕴含式应用举例 4. 前束范式 5. 前束范式举例 6. 第2-3讲 作业 1、谓词公式的赋值 谓词合式公式中含有命题变元和客体变元。将谓词公式中客体变元由确定的客体来取代，命题变元由确定的命题来取代，称为对谓词公式的赋值或解释。 这种解释由下列几部分组成： ⑴ 非空个体域Ｄ； ⑵ Ｄ上部分特定元素； ⑶ Ｄ上一些特定的谓词。 对谓词公式作了这样的赋值之后，谓词公式成为命题。 1、谓词公式的赋值（续） 定义２ 给定任一谓词公式Ａ，如果在个体域Ｅ上对Ａ的所有赋值： ⑴ Ａ都真，则称Ａ在Ｅ上有效或在Ｅ上永真。 ⑵ Ａ都假，则称Ａ在Ｅ上永假或在Ｅ上不可满足。 ⑶ 至少在一种赋值下为真，则称Ａ在Ｅ上可满足。 2、等价式和蕴含式 定义１ 给定个体域E上的两个谓词公式Ａ和Ｂ，若对Ａ和Ｂ中的变项作同样的赋值，所得命题的真值都相同，则称谓词公式Ａ和Ｂ在Ｅ上是等价的，记作：Ａ?Ｂ。 2、等价式和蕴含式(续1) 2、等价式和蕴含式(续2) 2、等价式和蕴含式(续3) 2、等价式和蕴含式(续4) 2、等价式和蕴含式(续5) 3、等价式和蕴含式应用举例 4、前束范式 5、前束范式举例 第2-3讲 作业 P71 1ab，3b，4，6 P75 1bc，2b * * 例１ 求(?x)（P(x)→Q(x)）的真值，其中Ｐ(x)：x等于1；Ｑ(x)：x等于2；且个体域Ｅ＝{1,2}。 解：(?x)(P(x)→Q(x)) ?(P(1)→Q(1))∧(P(2)→Q(2)) ?(Ｔ→Ｆ)∧(Ｆ→Ｔ) ?Ｆ∧Ｔ? Ｆ 谓词演算中的等价式和蕴含式的来源可分为如下几类： 1．命题公式的推广 用原子谓词公式取代命题演算等价公式中的各命题变元，命题演算的等价式就转化为谓词演算的等价式。例如： ??A(x) ? A(x) ((?x)A(x))→((?x)B(x)) ? ?((?x)A(x))∨((?x)B(x)) 2．量词与联结词?之间的关系 ?(?x)P(x) ? (?x)?P(x)。 ⑴ ?(?x)P(x) ? (?x)?P(x)。 ⑵ 例如，设P(x)表示“x今天来校上课”，则?P(x)表示“x今天没来校上课”。那麽， 对(1),“不是所有的人今天都来上课?(?x)P(x) ”与“有(存在)一些人今天没来上课(?x)?P(x)”在意义上是相同的。 对(2),“今天没有(不存在)来上课的人?(?x)P(x) ”与“所有的人今天都没来上课(?x)?P(x)”在意义上是相同的。 ⑴和⑵式称为量词转换律。这里约定，出现在量词之前的否定不是否定该量词，而是否定被量化了的整个命题。例如，?(?x)P(x) ? ?((?x)P(x))。 3．量词作用域的扩张与收缩 (?x)A(x)∨P?(?x)（A(x)∨P） ⑶ (?x)A(x)∧P?(?x)（A(x)∧P） ⑷ (?x)A(x)∨P?(?x)（A(x)∨P） ⑸ (?x)A(x)∧P?(?x)（A(x)∧P） ⑹ 当个体域为有限集a1, a2,..., an时，我们可以验证⑶式： (?x)A(x)∨P?(A(a1)∧A(a2)∧...A(an))∨P ? (A(a1)∨P)∧(A(a2)∨P)∧...∧(A(an)∨P) ? (?x)(A(x)∨P)。 例:证明(?x)(A(x)→P) ? (?x)A(x)→P 证：(?x)(A(x)→P) ? (?x)(?A(x)∨P) ? (?x)?A(x)∨P ? ?(?x)A(x)∨P?((?x)A(x)→P) 4．量词分配的等值式 (?x)(A(x)∧B(x)) ? (?x)A(x)∧(?x)B(x) ⑺ (?x)(A(x)∨B(x)) ? (?x)A(x)∨(?x)B(x) ⑻ ⑺式的左边表示“对于所有的ｘ，A(x)和B(x)都是真的”；右边表示“对于所有的ｘ，A(x)是真的；同时对于所有的ｘ，B(x)也是真的”。显然，这两个命题是等价的。例如，“联欢会上所有的人既唱歌又跳舞”和“联欢会上所有的人唱歌且所有的人跳舞”的意义相同。 ⑻式左边的命题可表述成“存在一个ｘ，能使Ａ(ｘ)为真或者能使Ｂ(ｘ)为真”；右边的命题可表述成“存在ｘ使Ａ(ｘ)为真，或者存在ｘ使Ｂ(ｘ)为真”。显然，这两个命题也是等价的。例如，“联欢会上有人唱歌或跳舞”和“联欢会上有人唱歌，或有人跳舞”的意义相同。 5．量词分配的蕴含式 (?x)A(x)