【工学】01_命题逻辑基本概念_1.pptVIP

第一章 命题逻辑基本概念 引言 逻辑主要研究推理过程，而推理过程必须依靠命题来表述。 在命题逻辑中，“命题”被看作最小单位。 命题逻辑是数理逻辑中最基本、最简单的部分。 1.1. 命题与联结词 什么是命题 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句。 特征： （1）陈述句； （2）真假必居其一，且只居其一。 （判断句子是否为命题的两个关键） 例1.1. 判断下列句子是否为命题 1 4是素数. 2 是无理数. 3 x大于y. 4 充分大的偶数等于两个素数之和. 5 2012年元旦是晴天. 例1.1. 判断下列句子是否为命题（续） 6 4大于2吗? 7 请不要吸烟! 8 这朵花真美丽! 9 我正在撒谎. 理发师悖论 一天，萨维尔村唯一的理发师（男）挂出一块招牌：“村里所有不自己理发的男人都由我给他们理发，我也只给这些人理发。” 于是有人问他：“您的头发由谁理呢?” 理发师顿时哑口无言。 因为，如果他给自己理发，那么他就属于自己给自己理发的那类人。但是，招牌上说明他不给这类人理发，因此他不能自己理。 如果由另外一个人给他理发，他就是不给自己理发的人，而招牌上明明说他要给所有不自己理发的男人理发，因此，他应该自己理。 由此可见，不管怎样的推论，理发师所说的话总是自相矛盾的。 命题的抽象 命题符号化 一般用小写英文字母p, q, r, …, pi, qi, ri, …, 表示命题. 如: p: 4是素数. q: 5是有理数. r: 月球上有冰. s: 2012年元旦是晴天. 真值符号化 用“1”表示真, “0”表示假. 命题的抽象（续） 则命题抽象为: 取值为0或1的p等符号. 若p取值1, 则表示p为真命题； 若p取值0, 则表示p为假命题. 复合命题（例1.2） 简单命题 原子命题，不能被分解成更简单的陈述句。 P1 “复杂命题” 例1.2. （1）2不是无理数. （2）2是偶素数. （3）2或4是素数. （4）如果2是素数, 那么3也是素数. （5）2是素数当且仅当3也是素数. 复合命题（续） 联结词 上述诸如“不”, “或”, “如果…那么…”等词成为联结词. 复合命题 由联结词和命题连接而成的更加复杂的命题称为复合命题. 复合命题的真假完全由构成它的简单命题的真假所决定. 形式语言 数理逻辑研究方法的主要特征之一是将论述或推理中的各种要素都符号化，即构造各种符号语言来代替自然语言。 完全由符号构成的语言为形式语言。 简单命题符号化； 联结词符号化。 在自然语言中出现的联结词有的具有二义性，因此在数理逻辑中必须给出联结词的严格定义，并且将它们符号化。 否定联结词 否定联结词（续） 例1.2（续） 1 2不是无理数 若（简单命题符号化） p: 2是无理数. p的真值是0. 则 ?p: 2不是无理数. ?p的真值为1. 合取联结词 合取联结词（续） 例1.2（续） 2 2是偶素数. 若（简单命题符号化） p: 2是偶数. p的真值是1. q: 2是素数. q的真值是1. 则 p ? q: 2是偶素数. p ? q的真值为1. 例1.3. 将下列命题符号化 1 张三既用功又聪明. 2 张三不但用功而且聪明. 3 张三虽然聪明, 但不用功. 首先将原子命题符号化: p: 张三用功. q: 张三聪明. 那么: 1 : p ? q. 2 : p ? q. 3 : ? p? q. 例1.3（续） 4 张三和李四都是三好学生. 5 张三和李四是同学. 首先将原子命题符号化: p: 张三是三好学生. q: 李四是三好学生. r: 张三和李四是同学. 那么: 4 : p ? q. 5 : r. 合取联结词使用注意事项 自然语言中的“既…, 又…”, “不但…, 而且…”, “虽然…, 但是…”, “一面…, 一面…”等联结词都可以符号化为?. 不要见到“与”或“和”就使用联结词?. 析取联结词 析取联结词（续） 例1.2（续） 3 2或4是素数. 若（简单命题符号化） p: 2是素数. p的真值是1.