第一章 离散数学.pptVIP

离散数学 第1章 命题逻辑 1.1 命题及其表示法 1.2 命题联结词 1.3 命题公式、翻译与解释 1.4 真值表与等价公式 1.5 对偶与范式 1.6 公式的蕴涵 1.7 其它联结词与最小联结词组 1.8 命题逻辑推理理论 1.1 命题及其表示法 1.1.1 命题的概念 数理逻辑将能够判断真假的陈述句称作命题。 1.1.2 命题的表示 命题通常使用大写字母A，B，…，Z或带下标的大写字母或数字表示，如Ai，[10]，R等，例如 A1：我是一名大学生。 A1:我是一名大学生. [10]：我是一名大学生。 R：我是一名大学生。 1.2 命题联结词 1.2.1 否定联结词 1.2.2 合取联结词 1.2.3 析取联结词 1.2.4 条件联结词 1.2.5 双条件联结词 1.2.6 与非联结词 1.2.7 或非联结词 1.2 联结词 1.2.1 否定联结词﹁P 1.2 联结词 1.2.5 双条件联结词? 1.2 联结词 1.2.6 与非联结词↑ 1.2 联结词 1.2.7 或非联结词↓ 1.3 命题公式、翻译与解释 1.3.1 命题公式 1.3.2 命题的翻译 1.3.3 命题公式的解释 1.3 命题公式、翻译与解释 1.3.1 命题公式 定义 命题公式，简称公式，定义为： （1）单个命题变元是公式； （2）如果P是公式，则﹁P是公式； （3）如果P、Q是公式，则P∧Q、P∨Q、P?Q、 P?Q都是公式； （4）当且仅当能够有限次的应用(1) 、(2)、(3) 所得到的包括命题变元、联结词和括号的符号 串是公式。 1.3 命题公式、翻译与解释 1.3.1 命题公式 例如，下面的符号串都是公式： （（（（﹁P）∧Q）?R）∨S） （（P?﹁Q）?（﹁R∧S）） （﹁P∨Q）∧R 以下符号串都不是公式： （（P∨Q）?（∧Q）） （∧Q） 1.3 命题公式、翻译与解释 1.3.2 命题的翻译 可以把自然语言中的有些语句，转变成数理逻辑中的符号形式，称为命题的翻译。 命题翻译时应注意下列事项： （1）确定所给句子是否为命题。 （2）句子中联结词是否为命题联结词。 （3）要正确的选择原子命题和合适的命题联结词。 1.3 命题公式、翻译与解释 1.3.2 命题的翻译 1.3 命题公式、翻译与解释 1.3.3 命题公式的解释 1.4 真值表与等价公式 1.4.1 真值表 1.4.2 命题公式的分类 1.4.3 等价公式 1.4.4 置换规则 1.4 真值表与等价公式 1.4.1 真值表 1.4 真值表与等价公式 1.4.1 真值表 例：G=?（ P→Q ）∧Q 1.4 真值表与等价公式 1.4.2 命题公式的分类 定义 设G为公式： （1）如果G在所有解释下取值均为真，则称G是永真式或重言式； （2）如果G在所有解释下取值均为假，则称G是永假式或矛盾式； （3）如果至少存在一种解释使公式G取值为真，则称G是可满足式。 1.4 真值表与等价公式 1.4.3 等价公式 定义 设A和B是两个命题公式，如果A和B在任意赋值情况下都具有相同的真值，则称A和B是等价公式。记为A?B。 1.4 真值表与等价公式 1.4.3 等价公式 定理1.2 设A、B、C是公式，则下述等价公式成立： （1）双重否定律 ? ?A?A （2）等幂律 A∧A?A ； A∨A?A （3）交换律 A∧B?B∧A ； A∨B?B∨A （4）结合律 （A∧B）∧C?A∧（B∧C） （A∨B）∨C?A∨（B∨C） （5）分配律 （A∧B）∨C?（A∨C）∧（B∨C） （A∨B）∧C?（A∧C）∨（B∧C） （6）德·摩根律 ?（A∨B）??A∧?B ?（A∧B）??A∨?B 1.4 真值表与等价公式 1.4.3 等价公式 （7）吸收律 A∨（A∧B）?A；A∧（A∨B）?A （8）零一律 A∨1?1 ； A∧0?0 （9）同一律 A∨0?A ； A∧1?A （10）排中律 A∨?A?1 （11）矛盾律 A∧?A?0 （12）蕴涵等值式 A→B??A∨B （13）假言易位 A→B??B→?A （14）等价等值式 A?B?（A→