1、离散数学,董笑菊BASICS,计算机科学与工程系上海交通大学 电院3-327Tel:34205060 EXT 602http:/ Square、Sudoku),8 1 6 3 5 7 4 9 2,图论,人狼羊菜过河 有一个人带着一只狼，一只羊，一筐菜过河，当这个人在狼和羊身边时，狼不敢吃羊，羊也不敢吃菜，但是当人不在它们身边时，羊就可能把羊吃掉，羊也可能把菜吃掉，现在，渡船时只有一只船，能承载一个人及一件东西或物品，问怎样渡才能使人.狼.羊.菜安全过河？,离散数学就在我们身边！,8,离散数学,事实上，从计算机产生到其发展每一步都离不开数学1936年，英国数学家图灵(A.M.Turing)发表了
2、著名论文 “理想计算机”，从而给出了计算机的理论模型1946年在著名数学家冯诺依曼(J.Von Neumann)的领导下，制造了世界上第一台现代意义的通用计算机EDVAC (Electronic Discrete Variable Automatic Computer) 为什么离散数学对计算机科学来说如此重要？数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理,9,离散数学与计算机科学的关系,数
3、理逻辑：人工智能、程序正确性证明、程序验证等集合论：关系数据库模型等图论：数据结构、数据库模型、网络模型等代数结构：软件规范、形式语义、编译系统、 编码理论、密码学、数据仓库等组合数学：算法分析与设计、编码理论、容错等,10,离散数学课程说明,研究对象-离散个体及其结构研究思想-以集合和映射为工具、体现公理化和结构的思想研究内容-包含不同的数学分支，模块化结构数理逻辑：推理、形式化方法集合论：离散结构的表示、描述工具图论：离散结构的关系模型代数结构：离散结构的代数模型组合数学：离散结构的存在性、计数、枚举、优化、设计离散概率（概率统计课程）,11,课程内容,数理逻辑图论,考核 平时成绩30%:
4、 作业+点名+课堂练习期末考试70%,12,希望,掌握离散数学的各个分支的基本概念、基本理论和基本方法 提高概括抽象能力、逻辑思维能力、归纳构造能力 培养严谨、完整、规范的科学态度,教材和辅导书,参考教材：数理逻辑与集合论（第二版）：石纯一，清华大学出版社图论与代数结构：戴一奇，清华大学出版社辅导书：数理逻辑：莫绍揆，科学文献出版社数理逻辑教程：莫绍揆，华中工学院出版社集论与逻辑：沈恩绍，科学出版社A Mathematical Introduction to Logic, 2nd. Ed, H.Enderton, Academic Press Logic for Applications, 2
5、nd ed., A. Nerode, Springer离散数学（第4版），Richard Johnsonbaugh，电子工业出版社,PPT下载地址,http:/ 数理逻辑,逻辑学研究人的思维形式和规律的科学由于研究的对象和方法各有侧重而又分为形式逻辑、辩证逻辑和数理逻辑数理逻辑用数学方法研究推理，是研究推理中前题和结论之间的形式关系的科学所谓推理就是由一个或几个判断推出一个新判断的思维形式这里所说的数学方法就是建立一套表意符号体系，对具体事物进行抽象的形式研究的方法. 因此, 数理逻辑又称符号逻辑,数理逻辑前史时期古典形式逻辑时期,这一时期主要工作有亚里士多德的三段论，斯多阿学派的命题逻辑和中
6、世纪形式逻辑的形成与发展。,数理逻辑初创时期逻辑代数时期,数理逻辑创建于17世纪末，创始人是德国哲学家和数学家莱布尼茨。这一时期的主要成就有莱布尼茨的数理逻辑的伟大思想的形成，逻辑代数和关系逻辑的建立和发展。,数理逻辑的奠定时期,这一时期从1879年弗雷格G. Frege概念语言的出版到希尔伯特的元数学纲领的提出，主要工作有逻辑演算的建立，朴素集合论、公理集合论以及第三次数学危机。为解决第三次数学危机所取得的结果：逻辑类型论，直觉主义数学基础和逻辑，形式公理学和证明论。,数理逻辑发展初期,这一时期是20世纪30十年代，主要工作体现为哥德尔(Godel)的几项重大成果完全性定理、理、不完全性定理
7、和连续统假设的一致性等,数理逻辑现代发展时期,这一时期从20世纪40年代开始。主要内容是各种非经典逻辑和四论模型论、集合论、递归论和证明论的突飞猛进的发展,数理逻辑的发展历程,17,内容体系,18,第一章 命题逻辑的基本概念,命题逻辑(Logic)研究命题的推理演算命题逻辑的应用数学上定理的推导在计算机科学上，验证程序的正确性主要内容命题的基本概念命题联结词命题合式公式、重言式自然语句的形式化,19,命题逻辑应用实例,在举重比赛中，有一名主裁判，两名副裁判。当两名以上裁判（必须包括主裁判在内）认为运动员举杠铃合格，按电钮，才裁决合格。试用与非门设计该电路设计一个楼上、楼下开关的控制逻辑电路来控
8、制楼梯上的路灯。使之在上楼前，用楼下开关打开电灯，上楼后，用楼上开关关灭电灯；或者在下楼前，用楼上开关打开电灯，下楼后，用楼下开关关灭电灯,20,1.1 命题（Proposition）,命题是一个非真即假(不可兼)的陈述句命题是一个陈述句，命令句、疑问句和感叹句都不是命题命题只有两个取值：真或假。这个陈述句所表达的内容可决定是真还是假，而且不是真的就是假的，不能不真又不假，也不能又真又假真假命题凡与事实相符的陈述句为真语句，而与事实不符的陈述句为假语句这就是说，一个命题具有两种可能的取值(又称真值)，为真或为假，并且只能取其一通常用大写字母“T”(1)表示真值为真，用“F”(0)表示真值为假因
9、为只有两种取值，所以这样的命题逻辑称为二值逻辑,21,命题举例,(1) “雪是白的”。 (2) “雪是黑的”。 (3) “好大的雪啊” ！ 不是陈述句，不是命题(4) “一个偶数可表示成两个素数之和”。 只不过当今尚不知其是真命题还是假命题(5) “1+101110”。 这是一个数学表达式，相当于一个陈述句，可以叙述为“1加101等于110”，这个句子所表达的内容在十进制范围中真值为假，而在二进制范围中真值为真。可见，这个命题的真值与所讨论问题的范围有关。(6) “xy” ,22,命题变项,为了对命题作逻辑演算，采用数学手法将命题符号化(形式化)是十分重要的命题的表示：大写符号P表示“雪是白的
10、”Q表示“北京是中国的首都”命题变项：P表示任一命题时，P就称为命题变项(变元)命题与命题变项含义是不同的：命题指具体的陈述句，是有确定的真值命题变项的真值不定，只当将某个具体命题代入命题变项时，命题变项化为命题，方可确定其真值命题与命题变项像初等数学中常量与变量的关系一样如5是一个常量，是一个确定的数字，而x是一个变量，赋给它一个什么值它就代表什么值，即x的值是不定的,23,简单命题和复合命题,简单命题又称原子命题(Primitive proposition)简单命题是不包含任何的与、或、非一类联结词的命题简单命题不可再分割，如“雪是白的”再分割就不是命题了命题“雪是白的而且1+12”不是简
11、单命题，它可以分割为“雪是白的”以及“1+12”两个简单命题，联结词是“而且”在简单命题中，尽管常有主语和谓语，但我们不去加以分割，是将简单命题作为一个不可分的整体来看待，进而作命题演算在谓词逻辑里，才对命题中的主谓结构进行深入分析,24,复合命题(Compound proposition),复合命题：把一个或几个简单命题用联结词(如与、或、非等)联结所构成的新的命题“张三学英语和李四学日语”就是一个复合命题由简单命题“张三学英语” “李四学日语”经联结词“和”联结而成复合命题的真值：依赖于构成该复合命题的各个简单命题的真值以及联结词上例中，当以上两个简单命题真值均为真时，该复合命题方为真命题
12、逻辑所讨论的是多个命题联结而成的复合命题的规律性,25,内容 / 形式,命题是一个可取真或可取假的陈述句数理逻辑不关心内容 这些具体的陈述句的真值究竟为什么或在什么环境下是真还是假数理逻辑只关心形式 命题可以被赋予真或假这样的可能性，以及规定了真值后怎样与其他命题发生联系,26,1.2 命题联结词及真值表,联结词可将命题联结起来构成复杂的命题命题逻辑联结词的引入是十分重要的，其作用相当于初等数学里在实数集上定义的+、等运算符通过联结词便可定义新的命题，从而使命题逻辑的内容变得丰富起来我们要讨论的仅只是复合命题的真值，此值可由组成它的简单命题的真值所确定值得注意的是逻辑联结词与日常自然用语中的有
13、关联结词的共同点和不同点,27,常用的逻辑联结词(五个),否定词（negation）“ ”是个一元联结词，亦称否定符号一个命题P加上否定词就形成了一个新的命题，记作 P，这个新命题是命题的否定，读作非P。 否定词 “ ”的真值规定如下：若命题P的真值为真，那么 P的真值就为假；若P的真值为假，那么 P的真值就为真 P与P间的真值关系，常常使用称作真值表的一种表格来表示.,28,P的定义,真值表,真值表表明了P的真值如何依赖于P的真值真值表描述了命题之间的真值关系，很直观真值表是命题逻辑里研究真值关系的重要工具,29,例1,“昨天张三去看球赛了”该命题以P表示；“昨天张三没有去看球赛”，该新命题
14、便可用P表示 若昨天张三去看球赛了，命题P是真的，那么新命题P必然是假的反之，若命题P是假的，那么P就是真的,30,例2,Q：今天是星期三Q：今天不是星期三Q不能理解为“今天是星期四”，因为“今天是星期三”的否定，并不一定必是星期四，还可能是星期五、星期六Q：这些都是男同学。Q：这些不都是男同学。 (翻译成“这些都不是男同学”是错的。),31,合取词,合取词(Conjunction)是个二元命题联结词，亦称合取符号将两个命题P, Q联结起来，构成一个新的命题 P Q，读作P , Q的合取，也可读作P与Q这个新命题P Q的真值与构成它的命题P, Q的真值间的关系，由合取词真值表来规定。,32,合
15、取词真值表,只有当两个命题变项PT，Q=T时方有 PQ T。而P，Q只要有一为F，则PQ =F。PQ可用来表示日常用语P与Q，或P并且Q。,33,例3,P：教室里有10名女同学；Q：教室里有15名男同学；命题P Q : “教室里有10名女同学与15名男同学”。,34,例4,A：今天下雨了B：教室里有100张桌子。命题A B是 ：“今天下雨了并且教室里有100张桌子”,35,合取词与日常自然用语中的联结词,逻辑联结词是自然用语中联结词的抽象，与”合取词”并不等同，这是需注意的日常自然用语里的联结词“和”、“与”、“并且”，一般是表示两种同类有关事物的并列关系。而在逻辑语言中仅考虑命题与命题之间的
16、形式关系并不顾及日常自然用语中是否有此说法。 这样，“”同“与”、“并且”又不能等同视之。日常自然用语中说，“这台机器质量很好，但是很贵”，这句话的含义是说同一台机器质量很好而且很贵。 若用P表示“这台机器质量很好”，用Q表示“这台机器很贵”，那么这句话的逻辑表示就是P Q ，尽管这句话里出现的联结词是“但是”。总之，合取词有“与”、“并且”的含义。,36,析取词,析取词(disjunction)“”是个二元命题联结词将两个命题P, Q联结起来，构成一个新的命题PQ，读作P, Q的析取，也读作P或Q这个新命题的真值与构成它的命题P, Q的真值间的关系，由析取词真值表来规定,37,析取词真值表,
17、当P、Q有一取值为T时, PQ便为T。仅当P、Q均取F值时, PQ方为F。这就是析取词的定义, PQ可用来表示自然用语P或Q。,38,例,例5P: 今天刮风 Q: 今天下雨命题“今天刮风或者下雨”便可由PQ来描述了例6A: 2小于3B: 雪是黑的AB就是命题“2小于3或者雪是黑的” 由于2小于3是真的，所以AB必取值为真，尽管“雪是黑的”这命题取假,39,蕴涵词,蕴涵词(implication)“”是个二元命题联结词将两个命题P, Q联结起来, 构成一个新的命题PQ，读作如果P则Q，或读作P蕴涵Q如果P那么Q，其中P称前件(前项、条件)，Q称后件(后项、结论)规定只有当P为T而Q为F时，PQ
18、= F 而P = F，Q任意，或P = T，Q = T时PQ均取值为T。,40,蕴涵词真值表,PQ = T下, 若P = T必有Q = T, 而不会出现Q = F, 这表明PQ体现了P是Q成立的充分条件。PQ = T下, 若P = F可有Q = T, 这表明PQ体现了P不必是Q成立的必要条件。,P: 下雨；Q: 地湿,41,例7,P：天下雨了Q：地上是湿的PQ如果天下雨，那么地是湿的。 T如果天下雨，那么地不是湿的。 F如果天没有下雨，那么地是湿的。 T如果天没有下雨，那么地不是湿的。T,42,PQ = PQ,在P、Q的所有取值下, PQ同PQ都有相同的真值: PQ = PQ (真值相同的等值
19、命题以等号联结)这也说明可由、来表示, 从逻辑上看“如果P则Q”同“非P或Q”是等同的两个命题实际上，, 构成一个联结词的完备集，可表达任何联结词,43,因果关系,引入的目的是希望用来描述命题间的推理，表示因果关系使用PQ能描述推理PQ为真时，只要P为真必有Q真，而不能出现P真而Q假就够了P为假时，Q取真取假，并不违背P为真时Q必真。从而仍可规定P为假时，PQ取真当P = F时对PQ真值的不同定义方式将给推理的讨论带来不同的表示形式，也是允许的,44,例8,P: n 3 (n为整数) Q: n2 9 命题PQ表示“如果n 3那么n2 9”, 分析PQ的真值P = Q = T。这时如n = 4
20、3，有n2 = 16 9，这符合事实 PQ = T，正是我们所期望的可以PQ表示P、Q间的因果关系，这时规定P Q是自然的P = T, Q = F。如n 3而 n2 9 由于前提条件n 3不成立，而n2 9成立与否并不重要，都不违反对自然用语“如果n 3那么n2 9”成立的肯定。于是 P = F时可规定P Q = T,45,如果那么,蕴涵词与自然用语“如果那么”有一致的一面，可表示因果关系 然而P、Q是无关的命题时，逻辑上允许讨论PQ。并且P = F则PQ = T，这在自然用语中是不大使用的。对P = F时PQ的值另作规定也是可以的, 同样不违反自然语句“如果那么”可以用PQ来描述。总之，对P
21、Q的这种说明是可接受的, 但也不是说仅只有这样的解释才是合理的,46,例9,P: 2 + 2 = 5Q: 雪是黑的PQ就是命题“如果2 + 2 = 5, 那么雪是黑的”从蕴涵词的定义看，由2 + 2 = 5是不成立的或说P取F值, 不管Q取真取假都有PQ = T,47,蕴涵词,蕴含式PQ可以用多种方式陈述: 给定命题PQ, 我们把QP, PQ, QP分别叫做命题PQ的逆命题, 否命题和逆否命题,48,双条件词,双条件词(Biconditional)“”是个二元命题联结词,49,(PQ)(QP) = PQ,只有当两个命题P、Q的真值相同或说P = Q时，PQ的真值方为T。而当P、Q的真值不同时，
22、 PQ = F若建立(PQ)(QP)的真值表，就可发现(PQ)(QP)和PQ有相同的真值，于是 (PQ)(QP) = PQ,50,例10,P: ABC是等腰三角形Q: ABC中有两个角相等命题PQ就是“ABC是等腰三角形当且仅当ABC中有两个角相等”。显然就这个例子而言PQ = T,51,总结,定义的五个联结词是数理逻辑中最基本最常用的逻辑运算一元二元联结词还有多个，此外还有三元以至更多元的联结词，因其极少使用，况且又都可由这五个基本联结词表示出来，所以无需一一定义了联结词是由命题定义新命题的基本方法命题逻辑的许多问题都可化成是计算复合命题的真假值问题，真值表方法是极为有力的工具，是应十分重视
23、和经常使用的,52,总结,由联结词构成新命题的真值表中，对仅由两个变元P、Q构成的新命题A而言，每个变元有T、F两种取值，从而P、Q共有四种可能的取值，对应于真值表中的四行,，每一行下命题A都有确定的真值对P、Q的每组真值组合(如P = T, Q = F)或说真值指派，都称作命题A的一个解释一般地说，当命题A依赖于命题P1, Pn，从P1, Pn 到A的真值表就有2n行, 每一行对应着P1, , Pn的每组真值都称作命题A的一个解释，A有2n个解释，命题的解释用符号I表示,53,总结,由于数理逻辑是采用数学的符号化的方法来研究命题间最一般的真值规律的，而不涉及判断一个命题本身如何取真取假，抛开
24、命题的具体含义，而是抽象形式地讨论逻辑关系，这就导致了数理逻辑中所讨论的命题与自然用语的差异联结词、同构成计算机的与门、或门和非门电路是相对应的。从而命题逻辑是计算机硬件电路的表示、分析和设计的重要工具。也正是数理逻辑应用于实际特别是应用于计算机学科推动了数理逻辑的发展,54,不同的符号,五个联结词在不同的书中会采用不同的符号P以P表示PQ以PQ表示PQ以P + Q表示 PQ以PQ表示 PQ以PQ表示,55,1.3 合式公式(Well Formed Formula),命题公式是命题逻辑讨论的对象由命题变项使用联结词可构成任意多的复合命题，如PQ, PQR, PQ等。问题是它们是否都有意义呢？只
25、有一个联结词的命题P，PQ，PQ当然是有意义的由两个联结词构成的命题PQR至少意义不明确，是先作PQ再对R做，还是先作QR再对P作呢? 括号解决 由命题变项、命题联结词和圆括号便组成了命题逻辑的全部符号进一步的问题是建立一个一般的原则以便生成所有的合法的命题公式，并能识别什么样的符号串是合法的（有意义的）？,56,合式公式(简记为Wff)的定义,简单命题是合式公式如果A是合式公式，那么A也是合式公式如果A、B是合式公式，那么(AB)，(AB)， (AB)和(AB)是合式公式当且仅当经过有限次地使用1, 2, 3所组成的符号串才是合式公式这个定义给出了建立合式公式的一般原则，也给出了识别一个符号
26、串是否是合式公式的原则这是递归(归纳)的定义。在定义中使用了所要定义的概念，如在2和3中都出现了所要定义的合式公式字样，其次是定义中规定了初始情形，如1中指明了已知的简单命题是合式公式。条件4说明了哪些不是合式公式，而1、2和3说明不了这一点,57,判断一个公式是否为合式公式,若判断一个公式是否为合式公式，必然要层层解脱回归到简单命题方可判定合式公式(PQ), (P(PQ), (PQ)(QR)(PR)非合式公式 PQ, (PQ)( Q), (PQ,58,约定,为了减少圆括号的数量，可以引入一些约定规定联结词优先级的办法，可按， ， ，的排列次序安排优先的级别多个同一联结词按从左到右的优先次序。
27、这样，在书写合式公式时，可以省去部分或全部圆括号。通常采用省略一部分又保留一部分括号的办法，这样选择就给公式的阅读带来方便。如 (P(QR)可写成P(QR)或PQR(P(PR)可写成P(PR)命题演算中只讨论合式公式，将合式公式就称作公式,59,1.4 重言式 /可满足式/矛盾式,如果一个公式，对于任一解释I其值都为真，就称为重言式（永真式）。如PP是一个重言式由、和联结的重言式仍是重言式。一个公式，如在某个解释I0下值为真, 则称它是可满足的。如PQ，当取I0 = (T, F)，即P = T, Q = F时便有PQ = T, 所以是可满足的重言式当然是可满足的矛盾式（永假式或不可满足式）：如
28、果一个公式，对于任一解释I值都是假的，便称是矛盾式。如PP就是矛盾式,60,三类公式间关系,1. 公式A永真， 当且仅当A永假2. 公式A可满足, 当且仅当A非永真3. 不是可满足的公式必永假4. 不是永假的公式必可满足,61,1.4.2 代入规则,A是一个公式，对A使用代入规则得公式B，若A是重言式，则B也是重言式为保证重言式经代入规则仍得到保持，要求公式中被代换的只能是命题变元(原子命题), 而不能是复合命题对公式中某命题变元施以代入，必须对该公式中出现的所有同一命题变元代换以同一公式。,62,规则1举例 如可用(RS)来代换某公式中的P，而不能反过来将公式中的(RS)以P代之 这一要求可
29、以以代数的例子来说明，如对(a + b)2 = a2 + 2ab + b2 可以a = cd代入，仍会保持等式成立。而若将a + b以cd代入，结果左端得(cd)2，而右端无法代入cd，不能保持等式成立了规则2举例A = (RS)(RS)，用S只代换第二个R，则有： B = (RS)(S S) = RS 不是重言式,例11,63,使用代入规则证明重言式,例12. 判断(RS) (RS)为重言式。因PP为重言式, P以(RS)代入即得例13. 判断(RS)(RS)(PQ)(PQ)为重言式。不难验证(A(AB)B是重言式，A 以RS代入，B 以PQ代入即得,64,1.5 命题形式化,一些推理问题的
30、描述，常是以自然语句来表示的，需首先把自然语句形式化成逻辑语言，即以符号表示的逻辑公式，然后根据逻辑演算规律进行推理演算先要引入一些命题符号P, Q, 用来表示自然语句中所出现的简单命题，进而依自然语句通过联结词将这些命题符号联结起来，以形成表示自然语句的合式公式,65,1.5.1 简单自然语句的形式化,命题1. 北京不是村庄。令P表示“北京是村庄”，于是命题1可表示为P。命题2. 李明既聪明又用功。令P表示“李明聪明”，Q表示“李明用功”，于是命题2可表示为PQ。命题3. squr(2)是有理数的话, 2squr(2)也是有理数。令P表示“squr(2)是有理数”，Q表示“2squr(2)是
31、有理数”，于是命题3可表示为PQ。,66,1.5.2 较复杂自然语句的形式化,需注意的是逻辑联结词是从自然语句中提炼抽象出来的，它仅保留了逻辑内容，而把自然语句所表达的主观因素、心理因素以及文艺修辞方面的因素全部撇开了，从而命题联结词只表达了自然语句的一种客观性质又由于自然语句本身并不严谨，常有二义性，自然会出现同一自然语句的不等价的逻辑描述，其根由在于人们对同一自然语句的不同理解例如: 爱因斯坦是我的崇拜者自然语句联结词与逻辑联结词无固定关系,67,张三与李四是表兄弟。 这是普通的自然用语，它是一个命题，令以R表示。若形式地规定: P: 张三是表兄弟。Q: 李四是表兄弟。 那么R = PQ显
32、然，这样的形式化是错误的。原因是“张三是表兄弟”，“李四是表兄弟”都不是命题。实际上“张三与李四是表兄弟”才是一个命题，而且是一个简单命题。这例子说明自然语句中的“与”不一定都能用合取词来表达,例12 (“与”未必为合取词),68,张三或李四都能做这件事。这句话中的“或”不一定就用析取词来表示，应允许有的人把这命题的内容理解为： 张三能做这件事而且李四也能做这件事 这样，这句话便可以PQ的形式表示了,例13 (“或”未必为析取词),69,例14 (“或”未必为析取词),A: 今晚我在家里看电视。B: 今晚我去体育场看球赛。C: 今晚我在家里看电视或去体育场看球赛。问题是C与AB是否表达的是同一
33、命题呢?,70,否。因为C同A、B的真值关系为,例14,71,异或(不可兼或),这表的前三行很容易理解，而第四行是说今晚我在家看电视，又去体育场看球赛。显然对同一个人来说这是不可能的，从而这时C的真值为F。这就说明了C与AB逻辑上是并不相等的。即C中出现的“或”不能以“”来表示C同A, B的逻辑关系，常称为异或(不可兼或), 以 表示, 有不难验证 C = (AB) (AB),72,例15,今天我上班, 除非今天我病了以P表示今天我病了，Q表示今天我上班 可以理解为：除非今天我病了，否则今天我来上班进一步： 如果今天我不生病，那么我来上班可描述成PQ,73,作业,P12 1(2, 4, 6,
34、8) 4(2, 4, 6) 5(2, 4, 6, 8),74,悖论,“我正在说谎”。他是在说谎还是在说真话呢? 如果他讲真话, 那么他所说的是真, 也就是他在说谎。我们得出结论如果他讲真话, 那么他是在说谎另一方面, 如果他是说谎, 那么他说的是假; 因为他承认他是说谎, 所以他实际上是在说真话, 我们得出结论如果他是说谎, 那么他是讲真话。从以上分析, 我们得出他必须既非说谎也不是讲真话。这样, 陈述句“我正在说谎”事实上不能指定它的真假, 所以不是命题，而是“悖论”。,75,悖论,悖论是自相矛盾的命题。即如果承认这个命题成立，就可推出它的否定命题成立；反之，如果承认这个命题的否定命题成立，
35、又可推出这个命题成立 A paradox is a statement or group of statements that leads to a contradiction or a situation which defies intuition 例如比较有名的理发师(罗素)悖论：某乡村有一位理发师，一天他宣布：只给不自己刮胡子的人刮胡子。这里就产生了问题：理发师给不给自己刮胡子？如果他给自己刮胡子，他就是自己刮胡子的人，按照他的原则，他不能给自己刮胡子；如果他不给自己刮胡子，他就是不自己刮胡子的人，按照他的原则，他就应该给自己刮胡子。这就产生了矛盾,76,悖论,1900年前后,在数学的集合论中出现了三个著名悖论: 罗素悖论、康托尔悖论、布拉利福尔蒂悖论。这些悖论特别是罗素悖论，在当时的数学界与逻辑界内引起了极大震动。触发了数学的第三次危机,77,蕴涵词形式化,设 P:天冷，Q:小王穿羽绒服，将下列命题符号化 (1) 只要天冷，小王就穿羽绒服. PQ(2) 因为天冷，所以小王穿羽绒服. PQ(3) 若小王不穿羽绒服，则天不冷. QP (PQ)(4) 除非小王穿羽绒服，否则天不冷. QP (PQ)(5) 如果天不冷，则小王不穿羽绒服. PQ (QP) (6) 只有天冷，小王才穿羽绒服. QP(7) 除非天冷，小王才穿羽绒服. QP(8) 小王穿羽绒服仅当天冷的时候. QP,
