第1单元数理逻辑命题逻辑.pptVIP

第一章 数理逻辑 Mathematics Logic 数理逻辑 逻辑学 研究人的思维形式和规律的科学 根据研究的对象和方法 形式逻辑 辩证逻辑 数理逻辑 用数学方法研究推理的规律和形式的科学 推理：由一个或几个判断推出一个新判断的思维形式 数学方法 建立一套表意符号体系，对具体事物进行抽象的形式研究方法 又称符号逻辑 两种演算 命题逻辑 谓词逻辑 形式语言与自然语言 数理逻辑需建立一套表意符号体系 形式语言符号体系 自然语言 二义性 Double click the mouse, then it’ll run. 小王现在不方便接电话，他方便去了 建立形式语言符号体系的目的 消除二义性 主要内容 1.1 命 题 1.2 重 言 式 1.3 范式 1.4 联结词的扩充与归约 1.5 推理规则和证明方法 1.6 谓词和量词 1.7 谓词演算的永真公式 1.8 谓词演算的推理规则 1.1~1.5 命题逻辑Proposition Logic 1.1 命 题（Proposition） 1.1.1 命题 断言 一个陈述语句 命题 命题是一个非真即假(不可兼)的断言 如果命题是真 命题的真值（Truth Values）为真 真命题 大写字母“T”(1)表示 如果命题是假 命题的真值是假 假命题 大写字母“F”(0)表示 例 1 : 今天下雪 3+3=6 2 是偶数而 3 是奇数 1+101=110 明年的今天会下雨 较大的偶数都可表为两个质数之和 例 2 : x+y＞4 真好啊! x=3 你去哪里? 0*x=0 我正在说谎 原子命题(Primitive proposition) 由简单陈述句表示的判断 命题逻辑规定：原子命题是不可再分的 命题的表示 常用大写英文字母（或带下标）表示 P表示“雪是白的” Q表示“北京是中国的首都” 命题变元（命题词） P表示任一命题时，P就称为命题变元（命题词） 命题词不是命题 命题指具体的陈述句，是有确定的真值 命题变元的真值不定，只当将某个具体命题代入命题变元时，命题变元化为命题，方可确定其真值 复合命题(Compound proposition) 一个或几个简单命题用联结词联结所构成的命题 例：“张三学英语和李四学日语” 两个特殊的命题词 命题常量 T：永远表示真命题 F：永远表示假命题 T和F的两种含义 命题常量 命题的真值 数理逻辑不关心内容 具体的陈述句的真值究竟为什么或在什么环境下是真还是假 数理逻辑只关心形式 命题可以被赋予真或假这样的可能性，以及规定了真值后怎样与其他命题发生联系 1.1.2 命题联结词 命题和原子命题常可通过一些联结词构成新命题, 这种新命题叫复合命题 例： P: 明天下雪, Q: 明天下雨 “明天不下雪” “非P” “明天下雪并且明天下雨” “P并且Q” “明天下雪或者明天下雨” “P或Q” 1. 否定词┐（～，negation） 设P表示命题, 那么“P不真”是另一命题, 表示为┐P, 叫做P的否定, 读做“非P”。 如果P是假, 则┐P是真, 反之亦然。 例 4 (a) P: 4 是质数。  ┐P: 4 不是质数。 (b) Q: 这些都是男同学。 ┐Q: 这些不都是男同学。 2. 合取词∧(Conjunction) 如果P和Q是命题, 那么“P并且Q”也是一命题, 记为P∧Q, 称为P和Q的合取, 读做“P与Q”或“P并且Q”。 3. 析取词∨(disjunction) 如果P和Q是命题, 则“P或Q”也是一命题, 记作P∨Q, 称为P和Q的析取, 读做“P或Q”。 例 6 (a)今晚我写字或看书 P: 今晚我写字, Q: 今晚我看书。 P∨Q (b)选小王或小李当班长 R :选小王当班长，S :选小李当班长 R∨S ？ 4.条件词→(蕴涵，蕴含，implication) 如果P和Q是命题, 那么“P蕴含Q”也是命题, 记为P→Q, 称为蕴含式, 读做 “如果P, 那么Q”或“P则Q”。运算对象P叫做前提 , 假设或前件, 而Q叫做结论或后件。 例 7 (a) P: 天不下雨, Q: 草木枯黄。 P→Q: 如果天不下雨, 那么草木枯黄。 (b) R: G是正方形, S: G的四边相等。 R→S: 如果G是正方形, 那么G的四边相等。 (c) W: 桔子是紫色的, V: 大地是不平的。 W→V: 如果桔子是紫色的, 那么大地是不平的。 因果关系 引入→的目的是希望用来描述命题间的推理，表示因果关系 使用P→Q能描述推理 如果今天是星期二，那么明天是星