《数理逻辑》第26章命题逻辑第2节命题和联结词.ppt

* 内容提要 命题逻辑主要内容 命题和联结词 命题的描述 简单命题及其符号化 联结词和复合命题 五个联结词 命题符号化 第26章 第26章 命题逻辑 逻辑主要研究推理过程，而推理过程必须依靠命题来表达。 在命题逻辑中，“命题”被看作最小单位。 数理逻辑中最基本、最简单的部分。 直观(§1) — 半数学化(§2—§5) — 形式化(§6—§10) * 第26章 §2 命题和联结词 什么是命题？ 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句。 命题特征： 陈述句 真假必居其一, 且只居其一. 其它观点：直觉主义逻辑，多值逻辑等。 * 第26章 * 例1 下列句子都是命题 第26章 例2 下列句子不是命题 8大于10吗? 请勿吸烟! X大于Y。 我正在撒谎。 —— 悖论 * 第26章 命题的抽象 以p、q、r等表示命题。 以1表示真，0表示假。 则命题就抽象为：取值为0或1的p等符号。 若p取值1，则表示p为真命题； 若p取值0，则表示p为假命题； * 第26章 例3: 由简单命题能构造更加复杂命题 期中考试, 张三没有考及格. 期中考试, 张三和李四都考及格了. 期中考试, 张三和李四中有人考90分. 如果张三能考90分, 那么李四也能考90分. 张三能考90分当且仅当李四也能考90分. * 第26章 复杂命题 联结词和复合命题 上述诸如“没有”、“如果 ··· 那么···”等连词称为联结词。 由联结词和命题连接而成的更加复杂命题称为复合命题；相对地，不能分解为更简单命题的命题称为简单命题。 复合命题的真假完全由构成它的简单命题的真假所决定。 注：简单命题和复合命题的划分是相对的。 * 第26章 否定联结词 定义1：设p为一个命题, 复合命题“非p”称为p的否定式，记为?p， “?”称为否定联结词.“?p”为真当且仅当p为假。 例3中, 若p代表“期中考试张三考及格了”，则(1)可表示为?p. P ?p 0 1 1 0 * 第26章 合取联结词 定义2 设p、q为两个命题，复合命题“p而且q”称为p、q的合取式，记为p?q，“?”称作合取联结词。 p?q真当且仅当p与q同时真. 例3的(2)可记为p?q, 其中p代表“张三考及格”, q代表“李四考及格”. p q p?q 0 0 0 0 1 0 1 0 0 1 1 1 * 第26章 析取联结词 定义3 设p、q为两个命题，复合命题“p或者q”称为p、q的析取式，记为p?q，“?”称作析取联结词。 p ? q为真当且仅当p与q中至少有一个为真. 例3的(3)可记为p ? q, 其中p代表“张三考90分”, q代表“李四考90分”。 p Q p ? q 0 0 0 0 1 1 1 0 1 1 1 1 * 第26章 “相容或”与“相异或” 日常语言中“或”有两种标准用法, 例如: (1) 张三或者李四考了90分. (2) 第一节课上数学课或者上英语课. 差异在于： 当构成它们的简单命题都真时，前者为真，后者却为假。 前者称为“相容或”，后者称为“相异或”。 前者可表示为p?q，后者却不能。 注意：不能见了或就表示为p?q。 * 第26章 蕴涵联结词 定义4 设p、q为命题, 复合命题“如果p, 则q”称为p对q的蕴涵式，记作p ?q, 其中又称p为此蕴涵式的前件，称q为此蕴涵式的后件 ，“?”称为蕴涵联结词。“p ? q” 假当且仅当p真而q假. p?q这样的真值规定有其合理性，也有人为因素。 p q p?q 0 0 1 0 1 1 1 0 0 1 1 1 * 第26章 等价联结词 定义2.5 设p、q为命题, 复合命题“p当且仅当q”称作p、q的等价式, 记作p?q, “?”称作等价联结词。p?q真当且仅当p、q同时为真或同时为假. p q p?q 0 0 1 0 1 0 1 0 0 1 1 1 * 第26章 注意 上述五个联结词来源于日常使用的相应词汇, 但并不完全一致，在使用时要注意： 以上联结词组成的复合命题的真假值一定要根据它们的定义去理解, 而不能据日常语言的含义去理解。 不能“对号入座”，如见到“或”就表示为“?”。 有些词也可表示为这五个联结词，如“但是”也可表示为“?”。 在今后我们主要关心的是命题间的真假值的关系, 而不讨论命题的内容. * 第26章 命题符号化 例4 将下列命题符号化: (1) 铁和氧化合, 但铁和氮不化合. (2) 如果我下班早, 就去商店看看, 除非我很累. (3) 李四是计算机系的学生, 他住在312室或313室. * 第26章 例4的解 （1）p?(?q)，其中: p代表“铁和氧化合”， q代表“