命题逻辑基本概念c的h1.ppt

第1章 命题逻辑基本概念 本章说明 1.1 命题与联结词 数理逻辑研究的中心问题是推理。 推理的前提和结论都是表达判断的陈述句。 表达判断的陈述句构成了推理的基本单位。 1.1 命题与联结词 称能判断真假而不是可真可假的陈述句为命题（proposition）。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个：真与假。 真值为真的命题称为真命题。 真值为假的命题称为假命题。 例1.1 判断下列句子是否为命题。 4是素数。 x大于y。 充分大的偶数等于两个素数之和。 今天是星期二。 请不要吸烟！ 这朵花真美丽啊！ 我正在说假话。 命题和真值的符号化 用小写英文字母p,q,r…,pi ,qi ,ri …表示命题 用“1”表示真，用“0”表示假 例1.2 例1.2的讨论 半形式化形式 数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化。即构造各种符号语言来代替自然语言。 形式化语言：完全由符号所构成的语言。 将联结词（connective）符号化，消除其二义性，对其进行严格定义。 例如： 他是100米或400米赛跑的冠军。  鱼香肉丝或锅包肉，加一碗汤。 定义1.1 否定(negation) 设p为命题，复合命题“非p”(或“p的否定”)称为p的否定式,记作┐p，符号┐称作否定联结词，并规定┐p为真当且仅当p为假。 定义1.2 合取(conjunction) 设p,q为二命题，复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q，∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真。 例1.3 将下列命题符号化 吴颖既用功又聪明。 吴颖不仅用功而且聪明。 吴颖虽然聪明，但不用功。 张辉与王丽都是三好学生。 张辉与王丽是同学。 合取举例 p：我们去看电影。q：房间里有十张桌子。 p∧q：我们去看电影并且房间里有十张桌子。 定义1.3 析取(disjunction) 设p，q为二命题，复合命题“p或q”称作p与q的析取式，记作p∨q，∨称作析取联结词，并规定p∨q为假当且仅当p与q同时为假。 例1.4 将下列命题符号化 张晓静爱唱歌或爱听音乐。 张晓静只能挑选202或203房间。 张晓静是江西人或安徽人。 他昨天做了二十或三十道习题。 定义1.4 蕴涵(implication) 设p，q为二命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作p→q，并称p是蕴涵式的前件，q为蕴涵式的后件，→称作蕴涵联结词,并规定p→q为假当且仅当p为真q为假。 例1.5 将下列命题符号化，并指出其真值 如果3+3＝6，则雪是白的。 如果3+3≠6，则雪是白的。 如果3+3＝6，则雪不是白的。 如果3+3≠6，则雪不是白的。 例1.5 将下列命题符号化，并指出其真值 以下命题中出现的a是一个给定的正整数： (5) 只要a能被4整除，则a一定能被2整除。 (6) a能被4整除，仅当a能被2整除。 (7) 除非a能被2整除， a才能被4整除。 (8) 除非a能被2整除，否则a不能被4整除。 (9)?只有a能被2整除， a才能被4整除。 (10)只有a能被4整除， a才能被2整除。 关于蕴含的进一步说明 作为一种规定，当p为假时，无论q是真是假，p→q均为真。也就是说，只有p为真q为假这一种情况使得复合命题p→q为假。称为实质蕴含。 例：如果x5，则x2。(1) x=6 如果65，则62。(2) x=3 如果35，则32。(3) x=1 如果15，则12。 例：如果我有车，那么我去接你 常出现的错误，没有分清充分条件与必要条件。 定义1.5 等价(two-way-implication) 设p，q为二命题，复合命题“p当且仅当q”称作p与q的等价式，记作p?q，称作等价联结词，并规定p?q为真当且仅当p与q同时为真或同时为假。 例1.6 将下列命题符号化，并讨论它们的真值 π是无理数当且仅当加拿大位于亚洲。 2+3＝5的充要条件是π是无理数。 若两圆A，B的面积相等，则它们的半径相等；反之亦然。 当王小红心情愉快时，她就唱歌；反之，当她唱歌时，一定心情愉快。 关于基本联结词的说明 {┐,∧,∨,→,?}，称为一个联结词集。 由联结词集{┐,∧,∨,→,?}中的一个联结词联结一个或两个原子命题组成的复合命题是最简单的复合命题，可以称它们为基本的复合命题。 基本复合命题的真值见下表： 关于基本联结词的说明 多次使用联结词集中的联结词，可以组成更为复杂的复合命题。 求复杂复合命题的真值时，除依据上表外，还要规定联结词的优先顺序，将括号也算在内。 本书规定的联结词优先顺序为：( )，┐，∧，∨，→， ?，对于同一优先级的联结词，先出现者先运算。 例1.