离散数学第二章第三节讲述.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 * * 例１