09-3-9离散命题逻辑3.doc.doc

复习上次课内容 08级本科班3次-3月10日 三、 命题公式及其赋值 基本要求 1．分清简单命题(即原子命题)与复合命题． 2．深刻理解五种常用联结词司 ┓、∨、∧、→、? 的涵义，并能准确地应用它们 3.将复合命题符号化，并且由所含简单命题的真值迅速求出复合命题的真值．特别要注意以下几点： (1)分清“ p→q’’的逻辑关系、真值以及在自然语言中对“p → q”的不同的描述方法； (2)分清“p ∧ q”的逻辑关系，以及合取联结词在自然语言中的各种各样的描述方法； (3)分清“相容或”和“排斥或”． 3．深刻理解命题公式的赋值、成真赋值、成假赋值、重言式、矛盾式，可满足式 等概念． 4．熟练地写出给定命题公式的真值表，从而准确地判断出公式的类型，或求出公式的成真赋值和成假赋值． 第二章 命题逻辑等值演算 为了更方便地对命题公式进行讨论（确定其真值、公式的分类及其推理），象代数式那样进行演算（化简），有必要引入一些化简原则。代数式的化简原则是等值（不论变量的取值如何，代数式的值是相等的），对于命题公式来说化简的原则是逻辑等值。 一、 等值式定义 1． 逻辑等值定义 给定两个命题公式A 和 B，设 P1，P2，…, Pn 是出现于 A 和 B 中的所有命题变元。若对于这 n 个命题变元的所有可能的赋值，命题公式A 的真值都等于命题公式 B 的真值，则称命题公式 A 逻辑等值于命题公式B， 并记作A ? B。 1） 符号 ? 不是连接词符号，而是两个公式的关系符号（表示两个公式逻辑等值） 式子 “A ? B”不是命题 2） 根据定义两个公式的逻辑等值可用另外的形式定义： 给定两个命题公式A 和 B，设 P1，P2，…, Pn 是出现于 A 和 B 中的所有命题变元。若由A和B构成的等价式 A ? B为重言式（永真式），则称命题公式 A 逻辑等值于命题公式B 因为 A ? B为永真式，表示A与B 同真合同假，即真值相同，反之亦然 2． 等值的性质 对任意公式A，Ｂ，Ｃ １）自反性：A ? A ； ２）对称性：若A ?Ｂ，则Ｂ? A； ３）传递性：若A ?Ｂ，Ｂ?Ｃ， 则A ? Ｃ。 3．判别两个公式是否等值的方法 按定义所指出的真值表法和等价式法 如：判别 p → q 和 ┑p∨q 是否等值 从真值表可得出是等值的。 但当公式中的变元较多时以上两种方法均不适用 采用的一般方法是：将一些经验证成立的等值式作为基础（定律），再利用替换的方法得出其他公式的等值式。 二、等值定律 1．双重否定律 ┐┐A ? A 2. 等幂律 A ∨A ?A A ∧A ?A 6. 吸收律 A ∨(A ∧B ) ? A A ∧(A ∨B ) ? A 7. 德·摩根律 ┐(A ∨B ) ? ┐A ∧┐B ┐(A ∧B ) ? ┐A ∨┐B 8. 同一律 A ∨F ? A A ∧T ? A 9. 零律 A ∨T ? T A ∧F ? F 10. 排中律 A ∨┐A ? T 11．矛盾律 A ∧┐A ? F 12．蕴涵等值式 A → B ? ┑A ∨B 13．等价等值式 A ? B ? （A →B）∧（ B →A） 14．假言易位（逆否命题） A → B ? ┑B → ┑A 15．等价否定等值式 A ? B ? ┑A ? ┑B 16．归谬论 （ A → B） ∧（A → ┑B ）? ┑A 以上的定律可通过验证及应用逐步熟悉。 在引入了定律后，要充分利用这些定律进行命题公式的演算，必须将式中的A、B、C看成是可代替一个子公式－（即变量替换方法） ＊ 确定一个公式的等值式的过程称为等值演算 三、 置换规则 1． 设 Ф（A）是含公式A的命题公式，Ф（B）是用公式B置换了Ф（A）中所有出现的A所得到的命题公式，则若A B有Ф（A） Ф（B） 如：公式 (p→q) → r 因为p→q与┑p∨q等值， 故可用┑p∨q 置换p→q所得到的公式与原式是等值的 ? (┑p∨q) → r 蕴涵等值式 ? ┑ (┑p∨q) ∨ r 蕴涵等值式 ? (p∧┑q) ∨ r 德·摩根律 ? (p∨r) ∧(q∨r) 分配律 例1． 2． 命