命题逻辑基本概念PPT学习教案课件.pptx

《命题逻辑基本概念PPT学习教案课件.pptx》由会员分享，可在线阅读，更多相关《命题逻辑基本概念PPT学习教案课件.pptx（56页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、会计学1命题逻辑基本概念命题逻辑基本概念本章说明本章说明q本章的主要内容命题、联结词、复合命题命题公式、赋值、命题公式的分类q本章与后续各章的关系本章是后续各章的准备或前提第1页/共56页数理逻辑概述数理逻辑概述数理逻辑是用数学的方法研究思维规律的一门学科。由于它使用了一套符号，简洁的表达出各种推理的逻辑关系，因此数理逻辑一般又称为符号逻辑。数理逻辑和计算机的发展有着密切的联系，它为机器证明、自动程序设计、计算机辅助设计等计算机应用和理论研究提供必要的理论基础。第2页/共56页数理逻辑的发展前期前史时期古典形式逻辑时期：亚里斯多德的直言三段论理论初创时期逻辑代数时期（17世纪末）(1)资本主义

2、生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重要的作用。(2)人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。第3页/共56页数理逻辑的发展前期 (3)莱布尼兹(Leibniz,16461716)完善三段论，提出了建立数理逻辑或者说理性演算的思想：提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将推理的规则变为演算的规则。使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号 的组合规律，而与其含义无关。第4页/共56页数理逻辑的发展前期 (4)布尔(

3、G.Boole,18151864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统，也是一种逻辑演算。第5页/共56页数理逻辑的奠基时期弗雷格(G.Frege,18481925)：概念语言一种按算术的公式语言构成的纯思维公式语言(1879)的出版标志着数理逻辑的基础部分命题演算和谓词演算的正式建立。皮亚诺(Giuseppe Peano,18581932)：用一种新的方法陈述的算术原理(1889)提出了自然数算术的一个公理系统。第6页/共56页数理逻辑的奠基时期罗素(Bertrand Russell,18721970)：数学原理(与怀特黑合著，1910,1912,19

4、13)从命题演算和谓词演算开始，然后通过一元和二元命题函项定义类和关系的概念，建立了抽象的类演算和关系演算。由此出发，在类型论的基础上用连续定义和证明的方式引出了数学（主要是算术）中的主要概念和定理。第7页/共56页数理逻辑的奠基时期逻辑演算的发展：甘岑(G.Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性、完全性等。各种各样的非经典逻辑的发展：路易斯(Lewis,18831964)的模态逻辑，实质蕴含怪论和严格蕴含、相干逻辑等，卢卡西维茨的多值逻辑等。第8页/共56页第1章 命题逻辑 命题逻辑研究的是以原子命题为基本单

5、位的推理演算，其特征在于，研究和考查逻辑形式时，我们把一个命题只分析到其中所含的原子命题成分为止。通过这样的分析可以显示出一些重要的逻辑形式，这种形式和有关的逻辑规律就属于命题逻辑。第9页/共56页1.1 命题与联结词n n数理逻辑研究的数理逻辑研究的中心问题中心问题是是推理推理。n n推理的推理的前提前提和和结论结论都是都是表达判断表达判断的的陈述句陈述句。n n表达判断的陈述句构成了推理的表达判断的陈述句构成了推理的基本单位基本单位。第10页/共56页1.1 命题与联结词n n称能判断真假而不是可真可假的陈述句为命题（proposition）。n n作为命题的陈述句所表达得的判断结果称为命

6、题的真值。n n真值只取两个：真与假。n n真值为真的命题称为真命题。n n真值为假的命题称为假命题。q感叹句、疑问句、祈使句都不能称为命题。q判断结果不唯一确定的陈述句不是命题。q陈述句中的悖论不是命题。说明第11页/共56页(1)(1)4 4是素数。是素数。(2)(2)(3)(3)x x大于大于y y。(4)(4)充分大的偶数等于两个充分大的偶数等于两个素数之和。素数之和。(5)(5)今天是星期二。今天是星期二。(6)(6)(7)(7)请不要吸烟！请不要吸烟！(8)(8)这朵花真美丽啊！这朵花真美丽啊！(9)(9)我正在说假话。我正在说假话。例1.1 判断下列句子是否为命题。(1)是，假命

7、题(2)是，真命题(3)不是，无确定的真值(4)是，真值客观存在(5)是，真值根据具体情况而定。(6)不是，疑问句(7)不是，祈使句(8)不是，感叹句(9)不是，悖论第12页/共56页q一个陈述句能否分辨真假和我们是否知道它的真假是两回事！例：小李去过长城。q判断结果不唯一确定的陈述句不是命题。q陈述句中的悖论不是命题。即：要把“自指谓的陈述句”排除命题之外。例：本页这一行的这句话是假。说明第13页/共56页命题和真值的符号化命题和真值的符号化n n用小写英文字母用小写英文字母p p,q q,r r,p pi i,q qi i ,r ri i 表示命题表示命题n n用用“1 1”表示真，用表示

8、真，用“0 0”表示假表示假 r：充分大的偶数等于两个素数之和。s：今天是星期二。p：4是素数。q：q不能被分解成更简单的陈述句，称这样的命题为简单命题或原子命题。q由简单陈述句通过联结词而成的陈述句，称这样的命题为复合命题。第14页/共56页例例1.2将下面这段陈述中所出现的原子命题符号化，并指出它们的真值，然后再写出这段陈述。是有理数是不对的；2是偶素数；2或4是素数；如果2是素数，则3也是素数；2是素数当且仅当3也是素数。p：是有理数q：2是素数；r：2是偶数s：3是素数；t：4是素数01110非p；q并且(与)r；q或t；如果q，则s；q当且仅当s。第15页/共56页例例1.2的讨论的

9、讨论n n半形式化形式半形式化形式n n数理逻辑研究方法的主要特征是将论述或推数理逻辑研究方法的主要特征是将论述或推理中的理中的各种要素都符号化各种要素都符号化。即构造各种符号。即构造各种符号语言来代替自然语言语言来代替自然语言。n n形式化语言形式化语言：完全由符号所构成的语言。完全由符号所构成的语言。n n将联结词（将联结词（connectiveconnective）符号化，消除其二义）符号化，消除其二义性，对其进行严格定义。性，对其进行严格定义。n n例如：例如：他他是是100100米或米或400400米赛跑的冠军。米赛跑的冠军。鱼香肉丝或锅包肉，加一碗汤。鱼香肉丝或锅包肉，加一碗汤。第

10、16页/共56页定义1.1否定否定(negationnegation)n n设设p p为命题，复合命题为命题，复合命题“非非p p”(或或“p p的否定的否定”)称为称为p p的否定式的否定式,记作记作 p p，符号符号 称作称作否定联结词否定联结词，并规定，并规定 p p为真当且仅当为真当且仅当p p为假为假。例如：p：哈尔滨是一个大城市。p：哈尔滨是一个不大城市。p：哈尔滨不是一个大城市。pp1001第17页/共56页定义1.2合取合取(conjunction)n n设设p,qp,q为二命题，复合命题为二命题，复合命题“p p并且并且q q”(或或“p p与与q q”)称为称为p p与与q

11、 q的的合取式合取式，记作，记作p pq q，称称作作合取联结词合取联结词，并规定，并规定p pq q为真当且仅当为真当且仅当p p与与q q同时为真同时为真。使用合取联结词时要注意的两点：1)描述合取式的灵活性与多样性。自然语言中的“既又”、“不但而且”、“虽然但是”、“一面一面”等联结词都可以符号化为。2)分清简单命题与复合命题。不要见到“与”或“和”就使用联结词。pqpq111100010000第18页/共56页例1.3 将下列命题符号化将下列命题符号化(1)(1)吴颖既用功又聪明。(2)(2)吴颖不仅用功而且聪明。(3)(3)吴颖虽然聪明，但不用功。(4)(4)张辉与王丽都是三好学生。

12、(5)(5)张辉与王丽是同学。p:吴颖用功。q:吴颖聪明。r:张辉是三好学生。s:王丽是三好学生。t:张辉与王丽是同学。(1)pq(2)pq(3)qp(4)rs(5)t解题要点：正确理解命题含义。找出原子命题并符号化。选择恰当的联结词。第19页/共56页合取举例合取举例n np p：我们去看电影。我们去看电影。q q：房间里有十张桌子。房间里有十张桌子。p pq q：我们去看电影并且房间里有十张桌子。我们去看电影并且房间里有十张桌子。在数理逻辑中，关心的只是复合命题与构成复合命题的各原子命题之间的真值关系，即抽象的逻辑关系，并不关心各语句的具体内容。说明第20页/共56页定义1.3析取析取(d

13、isjunction)n n设设p p，q q为二命题，复合命题为二命题，复合命题“p p或或q q”称作称作p p与与q q的的析取式析取式，记作，记作p pq q，称作称作析取联结词析取联结词，并，并规定规定p pq q为假当且仅当为假当且仅当p p与与q q同同时为假时为假。自然语言中的“或”具有二义性，用它联结的命题有时具有相容性，有时具有排斥性，对应的联结词分别称为相容或和排斥或(排异或)。说明pqpq111101011000第21页/共56页例例1.4 1.4 将下列命题符号化将下列命题符号化(1)(1)张晓静爱唱歌或爱听音乐。(2)(2)张晓静只能挑选202或203房间。(3)(

14、3)张晓静是江西人或安徽人。(4)(4)他昨天做了二十或三十道习题。(1)设 p：张晓静爱唱歌，q：张晓静爱听音乐。相容或，符号化为 pq(2)设t：张晓静挑选202房间，u：张晓静挑选203房间。排斥或，符号化为：(tu)(tu)(3)设r：张晓静是江西人，s：张晓静是安徽人。排斥或，符号化为：rs。(排斥或联结的两个命题事实上不可能同时为真)或符号化为：(rs)(rs)(4)原子命题，因为“或”只表示了习题的近似数目。第22页/共56页定义1.4蕴涵蕴涵(implication)n n设p，q为二命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作pq，并称p是蕴涵式的前件，q为蕴涵式的

15、后件，称作蕴涵联结词,并规定pq为假当且仅当p为真q为假。说明qpq的逻辑关系表示q是p的必要条件。qq是p的必要条件有许多不同的叙述方式只要p，就q因为p，所以qp仅当q只有q才p除非q才p除非q，否则非ppqp q111100011001第23页/共56页例例例例1.5 1.5 1.5 1.5 将下列命题符号化，并指出其真值将下列命题符号化，并指出其真值将下列命题符号化，并指出其真值将下列命题符号化，并指出其真值(1)(1)如果3+36，则雪是白的。(2)(2)如果3+36，则雪是白的。(3)(3)如果3+36，则雪不是白的。(4)(4)如果3+36，则雪不是白的。解：令p：3+36，p的

16、真值为1。q：雪是白色的，q的真值也为1。(1)pq(2)pq(3)pq(4)pq1101第24页/共56页例例例例1.5 1.5 1.5 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整除。解：令r：a能被4整除 s：a能被2整除(5

17、)至(9)五个命题均叙述的是a能被2整除是a能被4整除的必要条件，因而都符号化为rs。其真值为1在(10)中，将a能被4整除看成了a能被2整除的必要条件，因而应符号化为sr。a值不定时，真值未知。第25页/共56页关于蕴含的进一步说明关于蕴含的进一步说明n n作为一种规定，当p为假时，无论q是真是假，pq均为真。也就是说，只有p为真q为假这一种情况使得复合命题pq为假。称为实质蕴含。n n例：如果x5，则x2。(1)x=6如果65，则62。(2)x=3 如果35，则32。(3)x=1 如果15，则12。n n例：如果我有车，那么我去接你 n n常出现的错误，没有分清充分条件与必要条件。第26页

18、/共56页定义1.5等价等价(two-way-implication)n n设设p p，q q为二命题，复合命题为二命题，复合命题“p p当且仅当当且仅当q q”称作称作p p与与q q的的等价式等价式，记作记作p pq q，称作称作等价联结词等价联结词，并规定并规定p pq q为真当且仅当为真当且仅当p p与与q q同时为真或同时为假同时为真或同时为假。说明q“当且仅当”（if and only if）qpq的逻辑关系为p与q互为充分必要条件。q(pq)(qp)与pq的逻辑关系完全一致。pqp q111100010001第27页/共56页例例例例1.6 1.6 1.6 1.6 将下列命题符号

19、化，并讨论它们的真值将下列命题符号化，并讨论它们的真值将下列命题符号化，并讨论它们的真值将下列命题符号化，并讨论它们的真值(1)(1)是无理数当且仅当加拿大位于亚洲。是无理数当且仅当加拿大位于亚洲。(2)(2)2+32+35 5的充要条件是的充要条件是 是无理数。是无理数。(3)(3)若两圆若两圆A A，B B的面积相等，则它们的半径相等；反之亦的面积相等，则它们的半径相等；反之亦然。然。(4)(4)当王小红心情愉快时，她就唱歌；反之，当她唱歌时，当王小红心情愉快时，她就唱歌；反之，当她唱歌时，一定心情愉快一定心情愉快。(1)设 p：是无理数，q：加拿大位于亚洲。符号化为 pq，真值为0。(2

20、)设 p：2+35，q：是无理数。符号化为 pq，真值为1。第28页/共56页例例例例1.6 1.6 1.6 1.6 将下列命题符号化，并讨论它们的真值将下列命题符号化，并讨论它们的真值将下列命题符号化，并讨论它们的真值将下列命题符号化，并讨论它们的真值(1)(1)是无理数当且仅当加拿大位于亚洲。(2)(2)2+35的充要条件是是无理数。(3)(3)若两圆A，B的面积相等，则它们的半径相等；反之亦然。(4)(4)当王小红心情愉快时，她就唱歌；反之，当她唱歌时，一定心情愉快。(1)设 p：两圆A，B的面积相等，q：两圆A，B的半径相等。符号化为 pq，真值为1。(2)设 p：王小红心情愉快，q：

21、王小红唱歌。符号化为 pq，真值由具体情况而定。第29页/共56页关于基本联结词的说明关于基本联结词的说明n n,，称为一个联结词集。n n由联结词集,中的一个联结词联结一个或两个原子命题组成的复合命题是最简单的复合命题，可以称它们为基本的复合命题。n n基本复合命题的真值见下表：第30页/共56页关于基本联结词的说明关于基本联结词的说明n n多次使用联结词集中的联结词，可以组成更为复杂的复合命题。n n求复杂复合命题的真值时，除依据上表外，还要规定联结词的优先顺序，将括号也算在内。n n本书规定的联结词优先顺序为：()，对于同一优先级的联结词，先出现者先运算。第31页/共56页例例1.7令

22、p：北京比天津人口多。q：2+2 4.r：乌鸦是白色的。求下列复合命题的真值：(1)(pq)(pq)r(2)(qr)(pr)(3)(pr)(pr)解：p、q、r的真值分别为1、1、0(1)1(2)1(3)0我们关心的是复合命题中命题之间的真值关系，而不关心命题的内容。说明第32页/共56页1.2 命题公式及其赋值命题公式及其赋值n n简单命题是真值唯一确定的命题逻辑中最基本的研究单位，所以也称简单命题为命题常项或命题常元。(proposition constant)n n称真值可以变化的陈述句为命题变项或命题变元(proposition variable)。也用p,q,r,表示命题变项。n n

23、当p,q,r,表示命题变项时，它们就成了取值0或1的变项，因而命题变项已不是命题。n n这样一来，p,q,r,既可以表示命题常项，也可以表示命题变项。在使用中，需要由上下文确定它们表示的是常项还是变项。n n将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串称为合式公式或命题公式。第33页/共56页定义定义1.3 合式公式合式公式(wff)(1)单个命题变项是合式公式，并称为原子命题公式。(2)若A是合式公式，则(A)也是合式公式。(3)若A，B是合式公式，则(AB)，(AB)，(AB)，(AB)也是合式公式。(4)只有有限次地应用(1)(3)形式的符号串才是合式公式。合式公式也称为命

24、题公式或命题形式，并简称为公式。设A为合式公式，B为A中一部分，若B也是合式公式，则称B为A的子公式。合式公式：Well Formed Formula 第34页/共56页关于合式公式的说明关于合式公式的说明n n定义1.3给出的合式公式的定义方式称为归纳定义或递归定义方式。n n定义中引进了A,B等符号，用它们表示任意的合式公式，而不是某个具体的公式，这与p,pq,(pq)r等具体的公式是有所不同的。n nA,B等符号被称作元语言符号。p,q等被称作对象语言符号。n n所谓对象语言是指用来描述研究对象的语言，而元语言是指用来描述对象的语言，这两种语言是不同层次的语言。n n例如中国人学习英语时

25、，英语为对象语言，而用来学习英语的汉语则是元语言。第35页/共56页关于合式公式的说明关于合式公式的说明n n(A)、(AB)等公式单独出现时，外层括号可以省去，写成A、AB等。n n公式中不影响运算次序的括号可以省去，如公式(pq)(r)可以写成pqr。n n合式公式的例子：(pq)(q r)(pq)rp(qr)n n不是合式公式的例子pqr(p(rq)第36页/共56页定义定义1.7 公式层次公式层次(1)若公式A是单个的命题变项，则称A为0层合式。(2)称A是n+1(n0)层公式是指下面情况之一：(a)AB，B是n层公式；(b)ABC，其中B,C分别为i层和j层公式，且n=max(i,j

26、)；(c)ABC，其中B,C的层次及n同(b)；(d)ABC，其中B,C的层次及n同(b)；(e)ABC，其中B,C的层次及n同(b)。(3)若公式A的层次为k，则称A是k层公式。例如：(pq)r，(pq)(rs)p)分别为3层和4层公式 第37页/共56页公式的解释公式的解释n n在命题公式中，由于有命题符号的出现，因而真值是不确定的。当将公式中出现的全部命题符号都解释成具体的命题之后，公式就成了真值确定的命题了。n n(pq)rn n若p：2是素数，q：3是偶数，r：是无理数，则p与r被解释成真命题，q被解释成假命题，此时公式(pq)r被解释成：若2是素数或3是偶数，则是无理数。（真命题）

27、n nr被解释为：是有理数，则(pq)r被解释成：若2是素数或3是偶数，则是有理数。（假命题）n n将命题变项p解释成真命题，相当于指定p的真值为1，解释成假命题，相当于指定p的真值为0。第38页/共56页定义定义1.8 赋值或解释赋值或解释n n设设p p1 1,p,p2,2,p,pn n是出现在公式是出现在公式A A中的全部命题变项，给中的全部命题变项，给p p1 1,p,p2,2,p,pn n各指定一个真值，称为对各指定一个真值，称为对A A的一个的一个赋值赋值或或解释解释。若指定的一组值使若指定的一组值使A A的真值为的真值为1 1，则称这组值为，则称这组值为A A的的成成真赋值真赋值

28、；若使；若使A A的真值为的真值为0 0，则称这组值为，则称这组值为A A的的成假赋成假赋值值。n n对含对含n n个命题变项的公式个命题变项的公式A A的赋值情况做如下规定：的赋值情况做如下规定：(1)(1)若若A A中出现的命题符号为中出现的命题符号为p p1 1,p,p2,2,p,pn n，给定给定A A的赋值的赋值 1,1,2,2,n n 是指是指p p1 1 1 1，p p2 2 2 2,，p pn n n n。(2)(2)若若A A中出现的命题符号为中出现的命题符号为p p，q q，r.,r.,给定给定A A的赋值的赋值 1,1,2,2,n n是指是指p p 1 1，q q 2 2

29、,，最后一个字母赋值最后一个字母赋值 n n。上述上述 i i取值为取值为0 0或或1 1，i i1,2,1,2,n,n。第39页/共56页赋值举例赋值举例n n在公式(p1p2p3)(p1p2)中，000(p10，p20，p30)，110(p11，p21，p30)都是成真赋值，001(p10，p20，p31)，011(p10，p21，p31)都是成假赋值。n n在(pq)r中，011(p10，p21，p31)为成真赋值，100(p11，p20，p30)为成假赋值。n n重要结论：含n(n1)个命题变项的公式共有2n个不同的赋值。第40页/共56页定义定义1.9 真值表真值表n n将命题公式A

30、在所有赋值下取值情况列成表，称作A的真值表。q构造真值表的具体步骤如下：(1)找出公式中所含的全体命题变项p1,p2,pn(若无下角标就按字典顺序排列)，列出2n个赋值。本书规定，赋值从000开始，然后按二进制加法依次写出各赋值，直到111为止。(2)按从低到高的顺序写出公式的各个层次。(3)对应各个赋值计算出各层次的真值，直到最后计算出公式的真值。公式A与B具有相同的或不同的真值表，是指真值表的最后一列是否相同，而不考虑构造真值表的中间过程。说明第41页/共56页例例1.8 求下列公式的真值表，并求成真赋值和成假赋值。(1)(pq)r(2)(pp)(qq)(3)(pq)qr 第42页/共56

31、页定义定义1.7 重言式、永真式、可满足重言式、永真式、可满足式式设A为任一命题公式(1)若A在它的各种赋值下取值均为真,则称A是重言式(tautology)或永真式。(2)若A在它的各种赋值下取值均为假,则称A是矛盾式(contradiction)或永假式。(3)若A不是矛盾式,则称A是可满足式（satisfactable formula）。第43页/共56页定义定义1.7的进一步说明的进一步说明n nA是可满足式的等价定义是：A至少存在一个成真赋值。n n重言式一定是可满足式，但反之不真。因而，若公式A是可满足式，且它至少存在一个成假赋值，则称A为非重言式的可满足式。n n真值表可用来判断

32、公式的类型:n n若真值表最后一列全为若真值表最后一列全为1 1，则公式为，则公式为重言式。重言式。n n若真值表最后一列全为若真值表最后一列全为0 0，则公式为，则公式为矛盾式。矛盾式。n n若真值表最后一列中至少有一个若真值表最后一列中至少有一个1 1，则公式为可满足式。则公式为可满足式。说明qn个命题变项共产生2n个不同赋值q含n个命题变项的公式的真值表只有 种不同情况 第44页/共56页例题例题例题例题1.91.9 下列各公式均含两个命题变项下列各公式均含两个命题变项p p与与q q，它们中它们中哪些具有相同的真值表哪些具有相同的真值表?(1)pq(1)pq(4)(4)(pq)pq)(

33、qp)(qp)(2)p(2)pq q(5)(5)q qp p(3)(3)(p pq)q)第45页/共56页哑元哑元n n设公式设公式A,BA,B中共含有命题变项中共含有命题变项p p1 1,p,p2 2,p,pn n，而而A A或或B B不全含有这些命题变项，比如不全含有这些命题变项，比如A A中不含中不含p pi i,p,pi+1i+1,p,pn n,称这些命题变项为称这些命题变项为A A的的哑元哑元，A A的取的取值与哑元的变化无关，因而在讨论值与哑元的变化无关，因而在讨论A A与与B B是否有是否有相等的真值表时，将相等的真值表时，将A,BA,B都看成都看成p p1 1,p,p2,2,p

34、,pn n的命的命题公式。题公式。第46页/共56页例题例题 例例1.101.10 下列公式中下列公式中,哪些具有相同的真值表哪些具有相同的真值表?(1)pq(1)pq(2)(2)q qr r(3)(3)(p pq)q)(p(pr)p)r)p)(4)(4)(qr)qr)(pp)(pp)第47页/共56页本章主本章主要内容要内容q命题与真值（或真假值）。q简单命题与复合命题。q联结词：，。q命题公式（简称公式）。q命题公式的层次和公式的赋值。q真值表。q公式的类型：重言式（永真式），矛盾式（永假式），可满足式。第48页/共56页本章学习要求本章学习要求n n在5种联结词中，要特别注意蕴涵联结的应

35、用，要弄清三个问题：n npq pq 的逻辑关系的逻辑关系 n npq pq 的真值的真值 n npq pq 的灵活的叙述方法的灵活的叙述方法n n写真值表要特别仔细认真，否则会出错误。n n深刻理解各联结词的逻辑含义。n n熟练地将复合命题符号化。n n会用真值表求公式的成真赋值和成假赋值。第49页/共56页本章典型习题本章典型习题n n命题符号化命题符号化n n求复合命题的真值与命题公式的赋值求复合命题的真值与命题公式的赋值n n判断公式的类型判断公式的类型第50页/共56页例题：命题符号化例题：命题符号化(1)我和他既是兄弟又是同学 p：我和他是兄弟，q：我和他是同学。故命题可符号化为：

36、pq。(2)张三或李四都可以做这件事。p：张三可以做这件事。q：李四可以做这件事。故命题可符号化为：pq。(3)仅当我有时间且天不下雨，我将去镇上。对于“仅当”，实质上是“当”的逆命题。“当A则B”是AB，而“仅当A则B”是BA。p：我有时间。q：天不下雨。r：我将去镇上。故命题可符号化为：r(pq)。第51页/共56页例题：命题符号化例题：命题符号化(4)张刚总是在图书馆看书，除非图书馆不开门或张刚生病。对于“除非”，只要记住，“除非”是条件。p：张刚在图书馆看书，q：图书馆不开门，r：张刚生病。故命题可符号化为：(qr)p。(5)风雨无阻，我去上学。可理解为“不管是否刮风、是否下雨，我都去

37、上学”。p：天刮风，q：天下雨，r：我去上学。故命题可符号化为：(pqr)(pqr)(pqr)(pqr)或(pqr)(pqr)(pqr)(pqr)理解为“四种情况必居其一,而每种情况下我都去上学”第52页/共56页命题符号化的要点命题符号化的要点n n要准确确定原子命题，并将其形式化要准确确定原子命题，并将其形式化。n n要要选选用用恰恰当当的的联联结结词词，尤尤其其要要善善于于识识别别自自然然语语言言中的联结词（有时它们被省略）中的联结词（有时它们被省略）。n n否定词的位置要放准确。否定词的位置要放准确。n n需需要要的的括括号号不不能能省省略略，而而可可以以省省略略的的括括号号，在在需需

38、要提高公式可读性时亦可不省略要提高公式可读性时亦可不省略。n n要注意的是要注意的是,语句的形式化未必是唯一的。语句的形式化未必是唯一的。第53页/共56页例题：求公式例题：求公式(p(qr)的真的真值表。值表。p pq qr r0 00 00 00 00 01 10 01 10 00 01 11 11 10 00 01 10 01 11 11 10 01 11 11 1qrqr0 00 00 01 10 00 00 01 1p(qr)p(qr)1 11 11 11 10 00 00 01 1(p(qr)p(qr)0 00 00 00 01 11 11 10 0第54页/共56页本章作业本章作业习题一习题一1 1、9 9、1414、1515、1818、1919第55页/共56页