第1部分 数理逻辑.pptVIP

引子： 例：一位逻辑工作者协助公安人员审查一起谋杀案，经调查，他认为下列情况均是真的。 （1）会计张某或邻居张某谋害了厂长。 （2）如果会计张某谋害了厂长，则谋害不可能发生在半夜。 （3）如果邻居张某的证词不正确，则在半夜时房里灯光未灭。 （4）如果邻居张某的证词是正确的，则谋害发生在半夜。 （5）在半夜房子里的灯光灭了，且会计张某曾贪污过。 第一章 命题逻辑基本概念 1.1 命题与联结词 1.2 命题公式及其赋值 1.1 命题与联结词 重点 命题的概念 五种基本的联结词 命题符号化 难点 五种基本的联结词 命题符号化 一、命题的概念 一、命题的概念 一、命题的概念 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 几个容易混淆的例子 只要p，就q 只要天气好，我就上街。 只有q成立，才有p成立 只有天气好，我才上街。 当p成立，则q成立 当你的收入超过800元，你要交纳所得税。 仅当q，才p 仅当天气好时，我才上街。 除非q成立，否则p不成立 除非天气好，否则我不上街。 等可以符号化为p→q的形式。 二、命题联结词 三、命题符号化 三、命题符号化 三、命题符号化 三、命题符号化 解： (1) p：张三是好学生。q：李四是好学生则原命题符号化为:p∨q (2) p: 张三与李四是好朋友。则原命题符号化为:p (3) p:管你努.q:比赛取胜。则原命题符号化为:（p∨?p）→q (4) p：小王现在在图书馆。q：小王现在在宿舍。则原命题符号化为:p∨q (5) p：我上街。q：我去书店。r：我很累。 则原命题符号化为:（p∧?q）→r 或 ?r→（p→q） 总结 命题的概念 五种基本的联结词 命题符号化 1.2 命题公式及其赋值 重点 公式、赋值和真值表的概念 公式的类型 难点 赋值的概念 一 、命题公式的概念 一 、命题公式的概念 一 、命题公式的概念 三、真值表 三、真值表 三、真值表 四、公式类型 四、公式类型 总结 公式、赋值和真值表的概念 公式的类型 第二章 命题逻辑等值演算 2.1 等值式 重点 等价式的概念 基本等价式 等价式的判别 难点 基本等价式 等价式的判别 一、等价公式 定义2.1 设G，H是两个公式，如果G，H在任意解释下其真值都相同，则称G，H是等价的（等值的），记作G?H。 注意： (1) 符号“?”与“?”的区别与联系。 ①“?”不是联结词，G ? H不表示一个公式，它表示两个公式间的一种关系，即等价关系。 ②“?”是联结词，G?H是一个公式。 ③G ? H当且仅当G?H是永真公式。 (2)当G是恒真式时，G ? 1；当G是恒假式时，则G ? 0。 一、等价公式 一、等价公式 三、等价式的判别 四、应用 四、应用 四、应用 四、应用 总结 等价式的概念 基本等价式 等价式的判别 真值表法 等值演算 2.2 析取范式与合取范式 重点 极小（大）项、范式、主范式的概念 范式、主范式的求取 难点 范式、主范式的求取 一、对偶原理 一、对偶原理 二、析取范式与合取范式 二、析取范式与合取范式 二、析取范式与合取范式 三、极小项与极大项 四、主析取范式 四、主析取范式 四、主析取范式 四、主析取范式 用等值演算法求主析取范式 用等值演算法求析取范式 把析取范式中的每一个短语化为极小项的析取。 例 用等值演算法求公式求p?q的主析取范式 p?q??p∨q?(?p∧(q∨?q))∨((p∨?p)∧q)?(?p∧q)∨(?p∧?q)∨(p∧q)∨(?p∧q)?(?p∧?q)∨(?p∧q)∨(p∧q)? m0∨m1∨m3 五、主合取范式 五、主合取范式 五、主合取范式 四、主合取范式 用等值演算法求主合取范式 用等值演算法求合取范式 把合取范式中的每一个子句化为极大项的合取。 例 用等值演算法求公式p∧q的主合取范式 p∧q?(p∨(q∧?q))∨((p∧?p)∨q)?(p∨q)∧(p∨?q)∧(p∨q)∧(?p∨q)?(p∨q)∧(p∨?q)∧(?p∨q)? M0∧M1∧M2 七、应用 七、应用 七、应用 总结 对偶原理 概念 文字、句子（简单析取式）、短语（简单合取式） 析取范式、合取范式 极小项、极大项 主析取范式、主合取范式 范式、主范式的求取 主范式的应用 2.3 联结词的完备集 重点 真值函数的概念 联结词完备集的概念 联结词完备集的证明 难点 联结词完备集的证明 一、真值函数 定义 称F:{0,1}n ? {0,1}为n元真值函数。 例如 F=p?q就是{0,1}2 ? {0,1}的2元真值函数，其定义域为{00,01,10