离散数学教学课件01-命题逻辑-1.1~1.3.pptVIP

* 公式真值表 若某公式种含有n个命题变元，则该公式会有多少个真值指派？ 公式中含有n个命题变元，每个变元都可以被赋值为T或F 所以，含有n个命题变元的公式，会有 2n 个 真值指派。 * 公式分类 二、公式分类 定义：设A为任意公式 若对应每一个指派，A的值均为真称A为重言式（Tautology）（或永真式） 若对应每一个指派，A的值均为假称A为矛盾式（Contradiction 或 Absurdity）（或永假式） 若A既不是重言式，也不是矛盾式称A为偶然式（Contingency） * 公式分类 二、公式分类 定义：设A为任意公式 若至少存在一个指派，使A的值为真称A为可满足式 若至少存在一个指派，使A的值为假称A为非永真式 * 重言式的特点 重言式有以下特点 重言式的否定是矛盾式，矛盾式的否定是重言式 ? 重言式和矛盾式只研究其中之一即可 两个重言式的合取式、析取式、条件式、双条件式都是重言式 ? 由简单的重言式可以构造出复杂的重言式 由重言式使用公认的规则，可以产生许多有用的等价式和蕴涵式 * 公式的判定 判定某公式属于哪种类型（重言式、矛盾式、偶然式），称为公式的判定问题 在命题逻辑中，由于任何一个命题公式的指派数目总是有限的，所以Ls的判定问题是可解的。 判定方法有： 真值表法 公式推演法 * 真值表法 例1.13 用真值表判定 ?(?P?Q)∧Q 是哪种类型的公式。 P Q ?P ?P?Q ?(?P?Q) ?(?P?Q)∧Q 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 ∴ 该公式是矛盾式（即永假式） * 真值表法 当公式所含不同命题变元较多或较复杂时，真值表法很麻烦。 计算一些复杂的真值表所花费时间的程度甚至可能连现代最快速的计算机也无法达到。 而且真值表法也是一个很乏味的方法，它对于培养逻辑思维与推理能力帮助甚少 因此我们一般采用等值公式推演法或主范式来判定。 * 真值表法 例1.14 列出 P?Q 和 ?P∨Q 的真值表。 P Q P?Q ?P∨Q 0 0 0 1 1 0 1 1 ∴ 这两个公式的真值表是相同的 也就是说，在任意指派下这两个公式的真值都是相同的 1 1 0 1 1 1 0 1 * 等价公式 三、等价公式(Equivalence) 定义：设A和B是两个命题公式，若A和B在任意指派下，其真值都是相同的，则称A和B是等价的或逻辑相等，记做 A ? B，称“A ? B” 为逻辑等价式(Logically Equivalent)（或永真双条件式） 例如，前面我们写出的P?Q 和 ?P∨Q 的真值表是完全一致的，因此P?Q 和 ?P∨Q 就是等价式。 * 等价公式 我们已经知道：对于含有n个命题变元的命题公式，可以有2n种真值指派。 由于对于每一种真值指派，命题公式的值都有两种可能的取值：T或F。 因此由n个命题变元组成命题公式，可以构成 22 种不同的真值表 n 所以, n个命题变元可以组合成22 种命题公式 n n个命题变元可以组合成多少种不同的命题公式？（等价的命题公式算为一种） * 等价公式 定理：A ? B 当且仅当 A ? B 是永真式 这里要注意 “?”与 “?” 的区别： “?” 是逻辑联结词，出现在命题公式中它表示在一个命题公式中，用它来连接的两个子公式的等值关系 “?” 是一个符号，并不是逻辑联结词，表示两个命题公式之间的等价关系，并不属于任何公式 * 等价公式 等价式有以下性质： 自反性对任意公式A，有 A ? A 对称性对任意公式A和B，若有A ? B ，则有B ? A 传递性对任意公式A、B、C，若有A ? B， B ? C，则有A ? C * 基本等价公式 基本等价(Equivalence)公式 A、B、C代表任意命题，T表示真命题，F表示假命题 E1 双否定 ? ? A ? A E2 交换律 A ∧ B ? B ∧ A  A ∨ B ? B ∨ A A ? B ? B ? A E3 结合律 (A ∧ B) ∧ C ? A ∧ (B ∧ C)  (A ∨ B) ∨ C ? A ∨ (B ∨ C)  (A ? B) ? C ? A ? (B ? C) (A ? B) ? C ? A ? (B ? C) ? × 0 0 0 0 0 0 * 基本等价公式 E4 分配律 A∧(B∨C) ? (A∧B)∨(A∧C) A∨(B∧C) ? (A∨B) ∧(A∨C) E5 德·摩根律 ? (A ∧ B) ? ? A ∨ ? B