2014数理逻辑1.1课件.pptVIP

离散数学;特点;主要内容; 第一章 数理逻辑 2014.2;逻辑学的组成; 数理逻辑是用数学方法研究形式逻辑的一门科学，它是在传统逻辑（自然语言）的基础上从17世纪70年代开始发展起来的，它采用数学符号化的方法，也称为现代逻辑或符号逻辑。 数理逻辑着重于研究从前提到结论的推理过程是否正确，而不是前提或结论本身是否正确。 从广义上讲，数理逻辑包括公理集合论、模型论、递归论、证明论和逻辑演算。但现在提到数理逻辑，一般只指逻辑演算（命题逻辑和谓词逻辑）。 ;1.1 命题; ;说明;例 1 下述都是命题: (a) 今天下雪; (b) 3+3=6; (c) 2 是偶数而 3 是奇数; (d) 陈涉起义那天, 杭州下雨; (e) 较大的偶数都可表为两个质数之和。 以上命题, (a)的真值取决于今天的天气, (b)和(c)是真, (d)已无法查明它的??值, 但它是或真或假的, 将它归属于命题。 (e)目前尚未确定其真假, 但它是有真值的, 应归属于命题。 ;例 2 下述都不是命题: (a) x+y＞4。 (c) 真好啊! (b) x=3。 (d) 你去哪里? (a)和(b)是断言, 但不是命题, 因为它的真值取决于x和y的值。 (c)和(d)都不是断言, 所以不是命题。 ;命题的分类 原子命题：由不能再分解为更简单的陈述句的陈述 句构成。 复合命题：由简单命题通过联结词联结而成的陈述 句。 命题及其真值的抽象化 命题和本原命题常用大写字母P , Q , R 表示， 用“1”、“0”分别表示命题真值的真、假。 如用P表示“4 是质数”, 则记为 P: 4 是质数。 ; ;1. 否定词 ; 用来描述应用联结词的命题的真值结果 左边列出参与运算的命题真值的所有可能组合 右边列出所得命题的真值结果 用符号T(true)或 1 代表真, 符号F(false)或 0 代表假 一般在公式中采用T和F, 在真值表中采用 1 和 0; 例 4 (a) P: 4 是质数。  P: 4 不是质数。 或 4 是质数, 不是这样。 (b) Q: 这些都是男同学。 Q: 这些不都是男同学。 (翻译成“这些都不是男同学”是错的。 ) ;2. 合取词∧ ; ;注：;例 5;3. 析取词∨ 如果P和Q是命题, 则“P或Q”也是一命题, 记作P∨Q, 称为P和Q的析取, 读做“P或Q”。从真值表可知P∨Q为真, 当且仅当P或Q至少有一为真。 ; 例 6 (a) P: 今晚我写字, Q: 今晚我看书。 P∨Q: 今晚我写字或看书 (b) P: 今年是闰年; Q: 今年她生孩子。 P∨Q: 今年是闰年或者今年她生孩子。 ;4. 蕴涵词→(常简写作含) ; 为什么规定前件为假时，不论后件真假与否，蕴含式都为真呢？ 其实我们平时也采用这种思维方式，譬如，说“如果太阳从西边出来，我就不姓张。”其实不管“我”是否姓张，这句话都是对的，因为太阳根本就不会从西边出来。 ;注意：;例 7 (a) P: 天不下雨, Q: 草木枯黄。 P→Q: 如果天不下雨, 那么草木枯黄。 (b) R: G是正方形, S: G的四边相等。 R→S: 如果G是正方形, 那么G的四边相等。 (c) W: 桔子是紫色的, V: 大地是不平的。 W→V: 如果桔子是紫色的, 那么大地是不平的。 ; 5. 等值词 如果P和Q是命题, 那么“P等值于Q”也是命题, 记为P Q, 称为等值式, 读做“P等值于Q”。 把蕴含式和等值式的真值表加以比较, 易知如果PQ是真, 那么P→Q和Q→P俱真; 反之如果P→Q和Q→P俱真, 那么PQ是真。由于这些理由, PQ也读做“P是Q的充要条件”或“P当且仅当Q”。 ;联结词之意义由其真值表唯一确定, 而 不由命题的含义确定。 今后我们关心的各命题的真值关系，而不 是命题的内容。 运算符结合力的强弱顺序为  、 ∧ , ∨ , → ,  ; 例 8 (a) 设P表示“他有理论知识”, Q表示“他有实践经验”, 则“他既有理论知识又有实践经验”可译为: P∧Q。 (b) 设P: