1第一章命题逻辑基本概念.pptVIP

第一章命题逻辑基本概念 csq 第一部分　数理逻辑 逻辑学： 研究推理(即研究人类思维的形式结构和规律)的一门学科 数理逻辑：用数学方法研究推理的一门数学学科 数学方法是指引入一套符号体系的方法，又称为符号逻辑、理论逻辑。 一套符号体系 + 一组规则 数理逻辑的主要内容：命题逻辑、谓词逻辑 命题逻辑：是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。 谓词逻辑：把命题的内部结构分析成具有主词和谓词的逻辑形式，由命题变量、逻辑连接词和量词构成命题，然后研究这样的命题之间的逻辑推理关系。 第一章　命题逻辑基本概念 1.1 命题与联结词 一、 命题：能判断真假的陈述句，是命题逻辑中最基本也是最小的研究单位。 判断下列句子是否是命题： 1.请不要吸烟！ 2.明天你在家吗? 3.x大于y 4.2是素数 5.1+1=3 6.充分大的偶数等于两个素数之和 7.一年后的今天是晴天 1.1 命题与联结词 8.我正在说假话 9.我只给不自己刮胡子的人刮胡子。 8和9为悖论,凡是悖论都不是命题 将命题和真值符号化: p、q、r…… 真值：作为命题的陈述句所表达的判断结果。真值只取真或假。 真：1或T 假： 0或 F 1.1 命题与联结词 简单命题或原子命题：不能被分解成 命题 更简单的陈述句 复合命题：由简单陈述句通过联结词 联结而成的陈述句 复合命题如： 2不是素数；2和4是偶数；2或4是素数；如果2是素数，则4也是素数；4是素数当且仅当2是偶数。 P:2是素数; q:2是偶数;r:4是素数; s:4是偶数 1.1 命题与联结词 二、联结词 定义1.1 设p为命题，复合命题“非p”（或“p的否定”）称为p的否定式，记作 ﹁ p，符号﹁ 称作否定联结词。并规定﹁ p为真当且仅当p为假。 将命题符号化：2不是素数 p：2是素数 因此可以符号化为﹁p 1.1 命题与联结词 真值表 定义1.2 设p，q为二命题，复合命题“p并且q”（或“p与q”）称为p与q的合取式，记作p∧q， ∧ 称作合取联结词。并规定p∧q为真当且仅当p与q同时为真。 1.1 命题与联结词 1.1 命题与联结词 将下列命题符号化： 1.吴既用功又聪明 2.吴虽然聪明但不用功 3.张和王是同学 4.张和王都是三好生 1.1 命题与联结词 定义1.3 设p，q为二命题，复合命题“p或q” 称作p与q的析取式，记作p∨q， ∨称作析取联结词。并规定p∨q为假当且仅当p与q同时为假。 1.1 命题与联结词 “相容或”和“排斥或” 将下列命题符号化： 1.张晓静爱唱歌或爱听音乐 2.张晓静是江西人或安徽人 3.张晓静只能挑选202或203房间 1.1 命题与联结词 定义1.4 设p，q为二命题，复合命题“如果p，则q” 称作p与q的蕴涵式，记作p→q，并称p是蕴涵式的前件，q为蕴涵式的后件，→称作蕴涵联结词。并规定p → q为假当且仅当p为真q为假。 1.1 命题与联结词 注意： p→q的逻辑关系为q是p的必要条件 自然语言中可用 p?q 表述的命题格式有：“只要p，就q”、“因为p，所以q”、“p仅当q”、“只有q才p”、“除非q才p”、“除非q，否则非p”等。 与自然语言的不同：前件与后件可以没有任何内在联系！ 1.1 命题与联结词 将下列命题符号化： 1.如果3+3=6，则雪是白的 2.只有3+3=6，雪才是白的 3. 3+3=6仅当雪不是白的 4.除非3+3≠6，否则雪不是白的 p:3+3=6; q:雪是白的 1.1 命题与联结词 蕴含式 p→q p→q 的反命题: q→pp→q 的逆反命题 :?q→?p 写出下列命题的反命题和逆反命题 “如果今天是周四，那么我们就考试。” 反命题为：“如果我们今天考试，那么今天是周四” 逆反命题为：“如果今天我们没考试，那么今天就不是周四” 1.1 命题与联结词 定义1.5 设p，q为二命题，复合命题“p当且仅当q” 称作p与q的等价式，记作p?q，? 称作等价联结词。并规定p?q为真当且仅当p与q同时为真或同时为假。 1.1 命题与联结词 p?q的逻辑关系为p与q互为充分必要条件 与(p→q) ∧(q→p)与p?q的逻辑关系完全一致 将下列命题符号化： 1. √3是无理数当且仅当加拿大位于亚洲 2.2+3=5的充