Sun离散数学第1章命题逻辑(第1-7讲).pptVIP

信息学院 孙丽云 在自然语言中, 上述命题是没有意义的, 因为A和B毫无内在联系。 数理逻辑中, 我们关心的是复合命题与构成复合命题的各原子命题之间的真值关系, 即抽象的逻辑关系, 并不关心各语句的具体语义。 但“∧”联结的是两个命题，并不能见到“与”、“和”就用“∧”。例：“张三和李四是好朋友。”是简单命题。 思考 用尽可能多的方法证明： ((A→B)∨(C∧D)) ? ((?A∨B)∨?(?C∨?D)) 为永真式。 目前学到的真值表的用途： （1）判断两公式是否等价； （2） 判断公式的类型。 ……………… 前讲内容复习 公式蕴涵概念 基本蕴涵式 蕴涵式证明的三种方法 具体题目选择合适的证明方法 例： 证明P→Q ?(P∨R)→(Q∨R) 几对符号间的区别与联系： ?与?、 ?与=、 ?与? 1.４ 公式的等价 设A和B是任意两个命题公式，若对A,B的任何一个真值指派，A和B总是取得相同的真值（即A ? B为重言式），则称命题公式A和B是等价的，记作A ? B。 两命题公式是否等价，可通过真值表判断，若命题公式A和B的真值表是相同的，则命题公式A和B是等价的。 例：判断A ? B和(A ? B) ?(B ? A)是否等价。 基本等价式都可通过真值表进行验证。 基本等价公式 在命题逻辑中，经常会使用一些简单的等价式来完成较为复杂的等价式证明（等价演算），称这些简单