离散数学教程ppt课件

离散数学数学与信息科学学院离散数学数学与信息科学学院1有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。v第一部分 数理逻辑v第二部分 集合论v第三部分 图论v第四部分 抽象代数离散数学第一部分 数理逻辑离散数学2有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。第一部分 数理逻辑数理逻辑是用数学方法研究推理中前提和结论之间的形式关系的学科。推理是由一个或几个判断推出一个新判断的思维形式。数学方法是指建立一套表意符号体系，对具体事物进行抽象的形式研究的方法。第一部分 数理逻辑数理逻辑是用数学方法研究推理中前提和推理3有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。v第一章 命题逻辑v第二章 一阶谓词逻辑第一部分 数理逻辑第一章 命题逻辑第一部分 数理逻辑4有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。v1.1 命题和命题联结词v1.2 命题公式及其赋值v1.3 等值演算与联结词完备集v1.4 析取范式与合取范式v1.5 推理的形式结构v1.6 自然推理系统P第一章 命题逻辑1.1 命题和命题联结词第一章 命题逻辑5有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.命题：能判断真假的陈述句。包含两层意思：（1）必须是陈述句。（2）能够确定（分辨）其真值。1.1 命题和命题联结词1.命题：能判断真假的陈述句。包含两层意思：（1）必须是陈6有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.1 命题和命题联结词1.1 命题和命题联结词7有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.命题的真值：判断结果注意：此处不纠缠具体命题的真假问题，只是将其作为数学概念来处理。真值：真用T或1表示，假用F或0表示。3.命题和真值的符号化1.1 命题和命题联结词2.命题的真值：判断结果注意：此处不纠缠具体命题的真假问题8有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.1 命题和命题联结词1.1 命题和命题联结词9有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。原子命题：不能被分解为更简单的陈述句复合命题：原子命题通过联结词联结而成例：2是有理数是不对的；2是偶素数；2或4是素数；如果2是素数，则3也是素数；2是素数当且仅当3也是素数。p：2是有理数，q：2是偶数，r：2是素数，s：3是素数，t：4是素数。1.1 命题和命题联结词原子命题：不能被分解为更简单的陈述句例：2是有理数是不对的；10有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。4、命题联结词p pTFFT1.1 命题和命题联结词4、命题联结词p pTFFT1.1 命题和命题联结词11有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。pqp qFFFFTFTFFTTT王化不但成绩好而且品德好。pq：1.1 命题和命题联结词pqp qFFFFTFTFFTTT王化不但成绩好而且品德好12有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。pqp qFFFFTTTFTTTT1.1 命题和命题联结词开关坏了或灯泡坏了。pq：pqp qFFFFTTTFTTTT1.1 命题和命题13有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：1.张晓婧爱唱歌或爱听音乐。2.张晓婧是内蒙人或是陕西人。3.张晓婧只能挑选202或203房间。1.1 命题和命题联结词注意：当排斥或两边的情况实际根本不可能同时发生的时候，排斥或也可抽象为。但为了方便起见一般不这样抽象。例：1.张晓婧爱唱歌或爱听音乐。1.1 命题和命题联结词14有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。pqp qFFTFTTTFFTTT有位父亲对儿子说：“如果我去书店，就一定给你买电脑报“。问：在什么情况下，父亲算失信呢？1.1 命题和命题联结词pqp qFFTFTTTFFTTT有位父亲对儿子说：“如15有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。注意：“只要p，就q，因为p，所以q”，“p仅当q”，只有q，才p“，”除非q才p“，”除非q，否则非p“都可抽象为pq。p，q可以没有任何内在联系。例：1.如果336，那么雪是白的。2.除非我能工作完成了，我才去看电影。3.只要天下雨，我就回家。4.我回家仅当天下雨。pq的逻辑关系为q是p的必要条件或p是q的充分条件。1.1 命题和命题联结词注意：“只要p，就q，因为p，所以q”，“p仅当q”，16有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。pqp qFFTFTFTFFTTT1.1 命题和命题联结词p q的逻辑关系为p与q互为充要条件例：1.3是有理数当且仅当加拿大位于亚洲。2.两圆的面积相等，则他们的半径相等，反之亦然。pqp qFFTFTFTFFTTT1.1 命题和命题17有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。pqp qFFFFTTTFTTTF1.1 命题和命题联结词例：今天第一节课上离散数学或数据结构。pqp qFFFFTTTFTTTF1.1 命题和命18有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：p：北京比天津人口多 q：224 r：乌鸦是黑色的1.1 命题和命题联结词例：p：北京比天津人口多 q：224 19有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。5、语句形式化1.1 命题和命题联结词例：2是有理数是不对的；2是偶素数；2或4是素数；如果2是素数，则3也是素数；2是素数当且仅当3也是素数。p：2是有理数，q：2是偶数，r：2是素数，s：3是素数，t：4是素数。p不对；q且r；r或t；如果r，则s；r当且仅当s。5、语句形式化1.1 命题和命题联结词例：2是有理数是不20有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.1 命题和命题联结词1.1 命题和命题联结词21有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。命题常元：表示具体确定内容的命题。命题变元：表示不确定具体内容的命题。1.2 命题公式及其赋值命题常元：表示具体确定内容的命题。1.2 命题公式及其赋22有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.2 命题公式及其赋值同时约定：（1）最外层的括号可以省去。（2）不影响运算次序的括号也可以省去。1.2 命题公式及其赋值同时约定：（1）最外层的括号可以23有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.2 命题公式及其赋值1.2 命题公式及其赋值24有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.2 命题公式及其赋值1.2 命题公式及其赋值25有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.2 命题公式及其赋值1.2 命题公式及其赋值26有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.2 命题公式及其赋值1.2 命题公式及其赋值27有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.2 命题公式及其赋值1.2 命题公式及其赋值28有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.3 命题公式的等值式1.3 命题公式的等值式29有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。基本等值式（基本等值式（A，B，C为任意命题公式）为任意命题公式）1.3 命题公式的等值式基本等值式（A，B，C为任意命题公式）1.3 命题公式的等值30有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.3 命题公式的等值式1.3 命题公式的等值式31有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。因A，B，C可以代入任意的命题公式，故以上等值式称为等值式模式。由已知的等值式推演出另外一些等值式的过程为等值演算。1.3 命题公式的等值式因A，B，C可以代入任意的命题公式，故以上等值式称为等值式模32有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。等值演算的应用：1.验证等值式 2.判定公式的类型 3.解决工作生活中的判断问题1.3 命题公式的等值式甲、已、丙3人根据口音对王教授是哪人进行了判断：甲说：王教授不是苏州人，是上海人 已说：王教授不是上海人，是苏州人 丙说：王教授既不是上海人，也不是杭州人结果3人中有一人全对，一人对一半，一人全错。问王教授是哪人？等值演算的应用：1.3 命题公式的等值式甲、已、丙3人根据口33有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。联结词的完备集n个命题变元可以形成22n个不同的真值函数对于每个真值函数，都可以找到许多与之等值的命题公式，而每个命题公式对应唯一的与之等值的真值函数。定义.设S是一个联结词集合，如果任何n（n1）元真值 函数都可以由仅含S中的联结词构成的公式表示，则 称S是联结词完备集。联结词的完备集n个命题变元可以形成22n个不同的真值函数对于34有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。联结词的完备集联结词的完备集35有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.4 析取范式与合取范式定义：命题变元及其否定统称为文字。仅由有限个文字构成的析取式称为简单（质）析取式。仅由有限个文字构成的合取式称为简单（质）合取式。注意：单个文字既是简单析取式又是简单合取式。讨论：设A为含n个文字的简单析取式 若A中同时含pi和pi，则？若A为永真式，则？1.4 析取范式与合取范式定义：命题变元及其否定统称为文字。36有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。若A为永真式，则A中必同时含有pi和pi，反之亦然。同理有，若A为简单合取式，A为永假式的充要条件是A中同时含有pi和pi。定理1.一个简单析取式是重言式当且仅当它同时含有某 个命题变元及其他的否定。一个简单合取式是矛盾式当且仅当它同时含有某 个命题变元及其他的否定。1.4 析取范式与合取范式若A为永真式，则A中必同时含有pi和pi，反之亦然。同理有37有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定义：由有限个简单合取式构成的析取式称为析取范式。由有限个简单析取式构成的合取式称为合取范式。析取范式与合取范式称为范式。注意：单个文字、简单析取式、简单合取式都既是析取范 式又是合取范式。1.4 析取范式与合取范式定理2.一个析取范式是矛盾式当且仅当它的每个简单合 取式为矛盾式。一个合取范式是重言式当且仅当它的每个简单析 取式为重言式。定义：由有限个简单合取式构成的析取式称为析取范式。注意：单38有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定理3.任一命题公式都存在与之等值的析取范式和合取范式。范式的求法：消去公式中的蕴涵、等价和异或联结词 使用双重否定律和德摩根律，将公式中出现 的否定 词移到命题变元之前。利用分配律、结合律将公式化为合（析）取 范式。范式形式不唯一。1.4 析取范式与合取范式定理3.任一命题公式都存在与之等值的析取范式和合取范式。范式39有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定义：在含有n个命题变元的简单合（析）取式中，若每个 命题变元和 它的否定式不同时出现，而二者之一必 出现且仅出现一次，且第 i个命题变元或它的否定是 出现在从左算起的第i位上（字典序），称这样的简 单合（析）取式为极小（大）项。性质：n个变元可以形成2n个极小（大）项；每个极小（大）项有且仅有一个成真（假）赋值；每组赋值下仅有一个极小（大）项为真（假）；所有极小（大）项的析（合）取为真（假）；1.4 析取范式与合取范式定义：在含有n个命题变元的简单合（析）取式中，若每个性质：40有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。将极小项的成真赋值对应的二进制数转化为十进制数为i，将对应的极小项记为mi。将极大项的成假赋值对应的二进制数转化为十进制数为i，将对应的极大项记为Mi。定义：设由n个命题变元构成的析（合）取范式中所有的简 单合（析）取式都是极小（大）项，则称该析取范 式为主析（合）取范式。1.4 析取范式与合取范式定理.任何命题公式都存在与之等值的主析取范式和主合取范 式，并且是唯一的。将极小项的成真赋值对应的二进制数转化为十进制数为i，定义：设41有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.4 析取范式与合取范式公式法：求析取范式 用同一律补进未出现的命题变元 消去永假或重复出现的变元和极小项 将极小项按下标从小到大排列真值表法：列出公式及各极小项的真值表，将每组赋值下 公式及极小项真值都为真的极小项进行析取。主析取范式的求法：1.公式法2.真值表法1.4 析取范式与合取范式公式法：求析取范式真值表法：列出42有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.4 析取范式与合取范式应用：1.求公式的成真、成假赋值 成真赋值为析取范式中所含极小项的编码的二进制数 成假赋值为合取范式中所含极大项的编码的二进制数由主析取范式可以直接求主合取范式：1求出主析取范式中未包含的极小项 2求出与1中求出的极小项下标相同的极大项 3做2中极大项之合取1.4 析取范式与合取范式应用：1.求公式的成真、成假赋值由43有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.4 析取范式与合取范式3.判断两公式是否等值 若A，B共含有n个命题变元，按n个命题变元求出A与B的主析取范式A、B，若AB，则AB.2.判断公式的类型 设A含有n个命题变元A为重言式当且仅当A的主析取范式含全部2n个极小项；A为矛盾式当且仅当A的主析取范式不含任何极小项，此 时记为0；A为可满足式当且仅当A的主析取范式中至少含一个极小项。1.4 析取范式与合取范式3.判断两公式是否等值2.判断公式44有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：要在A，B，C中挑选2名出国进修，选派时满足下列条件：若A去，则C同去 若B去，则C不能去 若C不去，则A或B可以去问有几种选派方案，分别是什么？4.解决实际问题1.4 析取范式与合取范式例：要在A，B，C中挑选2名出国进修，选派时满足下列条件：445有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.5推理的形式结构注意：推理正确实际是排除前提真结论假的情况推理是否正确与前提的排列顺序无关推理正确并不能保证B一定为真1.5推理的形式结构注意：46有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.5推理的形式结构推理的形式结构1.5推理的形式结构推理的形式结构47有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.5推理的形式结构1.5推理的形式结构48有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：若下午温度超过30度，则王晓燕必去游泳。若她去游 泳，她就不会去看电影。所以若王晓燕没去看电影，下午温度必超过了30度。p：温度超过30度q：王晓燕去游泳r：王晓燕去看电影1.5推理的形式结构例：若下午温度超过30度，则王晓燕必去游泳。若她去游p：温度49有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.5推理的形式结构1.5推理的形式结构50有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。注意：以上都是蕴含式模式若某推理的形式结构与某定律一致，则推理正确成立的等值式可产生两条定律推理定律可产生相应的推理规则1.5推理的形式结构注意：1.5推理的形式结构51有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.6自然推理系统P定义.一个形式系统I由以下4部分组成：非空的字母表，记作A(I)A(I)中符号构成的合式公式集，记作E(I)E(I)中特殊的公式组成的公理集，记作Ax(I)推理规则集，记作R(I)任给的前提，应用规则得到结论（可能真）任给的公理，应用规则得到结论（永真）1.6自然推理系统P定义.一个形式系统I由以下4部分组成：任52有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.6自然推理系统P1.6自然推理系统P53有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1.6自然推理系统P1.6自然推理系统P54有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：若小王是理科生，则他的数学成绩一定很好。如果 小王不是理科生，他一定是文科生。小王的数学成绩 不好。所以小王是文科生。p：小王是理科生q：小王是文科生r：小王的数学成绩很好1.6自然推理系统P例：若小王是理科生，则他的数学成绩一定很好。如果p：小王是理55有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：如果小张和小王去看电影，则小李也去看电影。小赵 不去看电影或小张去看电影。小王去看电影。所以，当小赵去看电影时，小李也去。p：小张去看电影q：小王去看电影r：小李去看电影s：小赵去看电影1.6自然推理系统P例：如果小张和小王去看电影，则小李也去看电影。小赵p：小张去56有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.归谬法将结论的否定作为前提引入，能推出矛盾来，则推理正确例：如果马会飞或羊不吃草，则母鸡就会是飞鸟。如果母 鸡是飞鸟，那么烤熟的鸭子还会跑。烤熟的鸭子不会 跑。所以羊吃草。p：马会飞q：羊吃草r：母鸡是飞鸟s：烤熟的鸭子会跑1.6自然推理系统P2.归谬法例：如果马会飞或羊不吃草，则母鸡就会是飞鸟。如果母57有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。所有的人总是要死的。苏格拉底是人。所以苏格拉底是要死的。p:q:r:第二章 谓词逻辑所有的人总是要死的。p:第二章 谓词逻辑58有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。第二章 谓词逻辑v2.1一阶逻辑命题符号化v2.2一阶逻辑公式及解释v2.3一阶逻辑等值式与置换规则v2.4一阶逻辑前束范式v2.5一阶逻辑的推理理论第二章 谓词逻辑2.1一阶逻辑命题符号化59有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.1一阶逻辑命题符号化1.个体词所研究对象中可以独立存在的具体的或抽象的客体（事物）表示具体的或特定的客体表示抽象或泛指的客体个体变项的取值范围称为个体域，用D表示宇宙间一切事物组成的称为全总个体域2.1一阶逻辑命题符号化1.个体词所研究对象中可以独立存在的60有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.谓词用来刻划个体词性质及个体词之间相互关系的词2是有理数x是无理数小王与小李同岁x与y具有关系L是有理数是无理数与同岁与具有关系LF：G：H：L：2.1一阶逻辑命题符号化2.谓词用来刻划个体词性质及个体词之间相互关系的词2是有理数61有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.量词：个体词之间的数量关系（1）全称量词 “一切的”，“所有的”，“每一个”，“任意的”，“凡”，“都”记作4.符号化 确定个体域确定个体词、量词和谓词确定联结词2.1一阶逻辑命题符号化3.量词：个体词之间的数量关系（1）全称量词 4.符号化 62有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：所有的人都是要死的。有的人用左手写字。注意：全称量词的特性谓词必须作为蕴涵式的前件引入存在量词的特性谓词必须作为合取式的合取项引入同一命题，不同的个体域符号化的形式可能不同未指明个体域即为全总个体域2.1一阶逻辑命题符号化例：所有的人都是要死的。注意：2.1一阶逻辑命题符号化63有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例：在美国留学的学生未必都是亚洲人。有的兔子比所有的乌龟跑的快。对任意的整数x，都存在整数y使得xy10。注意：多个量词出现时，顺序一般不能随便换有些命题符号化形式不唯一2.1一阶逻辑命题符号化例：在美国留学的学生未必都是亚洲人。注意：2.1一阶逻辑命题64有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.2一阶逻辑公式及解释2.2一阶逻辑公式及解释65有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.2一阶逻辑公式及解释2.2一阶逻辑公式及解释66有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。合式公式也称谓词公式，简称公式2.2一阶逻辑公式及解释合式公式也称谓词公式，简称公式2.2一阶逻辑公式及解释67有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.2一阶逻辑公式及解释2.2一阶逻辑公式及解释68有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.2一阶逻辑公式及解释2.2一阶逻辑公式及解释69有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.2一阶逻辑公式及解释2.2一阶逻辑公式及解释70有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定理.闭式在任何解释下都变成命题。2.2一阶逻辑公式及解释定理.闭式在任何解释下都变成命题。2.2一阶逻辑公式及解释71有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.2一阶逻辑公式及解释2.2一阶逻辑公式及解释72有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定理.重言式的代换实例都是永真式，矛盾式的代换 实例都是矛盾式。2.2一阶逻辑公式及解释定理.重言式的代换实例都是永真式，矛盾式的代换2.2一阶逻辑73有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.3一阶逻辑等值式与置换规则第一组第一组 命题逻辑中等值式模式的代换实例都是一阶逻 辑的等值式模式第二组第二组 一阶逻辑中特殊的等值式2.3一阶逻辑等值式与置换规则第一组 命题逻辑中等值式模式74有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.3一阶逻辑等值式与置换规则2.3一阶逻辑等值式与置换规则75有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。D=N，F(x)：x是奇数 G(x)：x是偶数2.3一阶逻辑等值式与置换规则D=N，F(x)：x是奇数 G(x)：x是偶数2.3一阶76有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.3一阶逻辑等值式与置换规则2.3一阶逻辑等值式与置换规则77有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.3一阶逻辑等值式与置换规则2.3一阶逻辑等值式与置换规则78有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.4一阶逻辑前束范式为了方便使用谓词公式进行定理证明和逻辑推理，需要把谓词公式变换为便于使用的规范形式，就是范式。2.4一阶逻辑前束范式为了方便使用谓词公式进行定理证明和逻辑79有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定理1：任一谓词公式都可以化成为与之等值的前束范式。2.4一阶逻辑前束范式定理1：任一谓词公式都可以化成为与之等值的前束范式。2.4一80有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.4一阶逻辑前束范式2.4一阶逻辑前束范式81有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.5一阶逻辑的推理理论在一阶逻辑中，称永真的蕴涵式为推理定律。若一个推理的形式结构正是某条推理定律，则该推理显然是正确的。第一组第一组 命题逻辑推理定律的代换实例第二组第二组 由基本等值式生成的推理定律第三组第三组 以下重要定律2.5一阶逻辑的推理理论在一阶逻辑中，称永真的蕴涵式为推理定82有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。第四组第四组 消去量词和引入量词的推理规则1、全称量词消去规则（UI）2.5一阶逻辑的推理理论第四组 消去量词和引入量词的推理规则1、全称量词消去规则（83有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。UI规则成立的条件：（1）取代x的y应为任意不在A(x)中约束出现的个体变项；（2）用y取代A(x)中自由出现的x时，必须将所有的自由出现x都取代；（3）自由变元y也可替换为个体域中任意的个体常元c，c为任意不在A(x)中出现过的个体常项。2.5一阶逻辑的推理理论UI规则成立的条件：84有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。含义：如果个体域的所有个体都具有性质A，则个体域中的任一个个体都具有性质A。2、存在量词消去规则（EI）含义：如果个体域存在有性质A的个体，则个体域中必有某一个个体具有性质A。2.5一阶逻辑的推理理论含义：如果个体域的所有个体都具有性质A，则个体域中2、存在量85有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。ES规则成立的条件：（1）c是个体域中使A为真的特定的个体常项；（2）c不曾在A(x)或前面的推导公式中出现过；（3）A（x）中除x外还有其他自由变元时，不能用此规则2.5一阶逻辑的推理理论ES规则成立的条件：86有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3、全称量词引入规则（UG）UG规则成立的条件：（1）y在A（y）中自由出现，且y取任何值时A均为真；（2）x不在A（y）中约束出现。含义：如果个体域的任意个体都具有性质A，则个体域中的所有个体都具有性质A。2.5一阶逻辑的推理理论3、全称量词引入规则（UG）UG规则成立的条件：87有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。4、存在量词引入规则（EG）EG规则成立的条件：（1）c是个体域中某个确定的个体；（2）代替c的x不在A（c）中出现过。含义：如果个体域有某一个个体c具有性质A，则个体域中必存在具有性质A的个体。2.5一阶逻辑的推理理论4、存在量词引入规则（EG）EG规则成立的条件：88有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定义.一阶逻辑自然推理系统F的定义 1.字母表：同一阶语言的字母表 2.合式公式：同一阶语言合式公式的定义 3.推理规则 a.前提引入规则 b.结论引入规则 c.置换规则 d.假言推理规则 e.附加规则 f.化简规则 g.拒取式规则 h.假言三段论规则 i.析取三段论规则 j.构造性二难规则 k.合取引入规则 l.UI，EI，UG，EG2.5一阶逻辑的推理理论定义.一阶逻辑自然推理系统F的定义2.5一阶逻辑的推理理论89有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例7：证明逻辑三段论 所有的人总是要死的。苏格拉底是人。所以苏格拉底是要死的。2.5一阶逻辑的推理理论例7：证明逻辑三段论 2.5一阶逻辑的推理理论90有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。2.5一阶逻辑的推理理论例10：如果一个人怕困难就不会获得成功。每一个人或者获得成功或者是失败的。有些人未曾失败过，所以有些人不怕困难。（个体域是人的集合）判断这个推理是否正确。例9：根据前提集合：同事之间总是有工作矛盾的，张平和李明没有工作矛盾，能得出什么结论？2.5一阶逻辑的推理理论例10：如果一个人怕困难就不会获得成91有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。第二部分 集合论v第三章 集合代数v第四章 二元关系v第五章 函数第二部分 集合论第三章 集合代数92有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。第三章 集合代数v3.1 集合的基本概念v3.2 集合的运算v3.3 集合恒等式第三章 集合代数3.1 集合的基本概念93有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。一、集合的概念集合（set)的含义：一个集合是作为整体识别的、确定的、互相区别的一些事物的聚集（全体或总体等)。构成一个集合的每个事物，成为这个集合中的元素或成员。集合一般用A、B、C表示，集合中的元素用a、b、c表示。但这不是绝对的，因为一个集合可以作为另一个集合的元素。如果x是集合s的一个元素,记作 ;y不是集合s的元素，记作 3.1集合的基本概念一、集合的概念3.1集合的基本概念94有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。例1：1.偶素数集合。2.二进制的基数集合。3.英文字母的集合。4.全体实数的集合。5.自然数集合。6.整数集合。7.有理数集合。8.素数集合。3.1集合的基本概念例1：1.偶素数集合。3.1集合的基本概念95有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念集合的表示方法:1.列举法（枚举法、外延法）把集合的所有元素（元素较少时）写在一个花括号内;列出足够多的元素（元素很多或无穷时）以反映集合中元素的特征。如例1中的1、2、3、5可分别表示为：20，1a，b，cz，A，B，CZ1，2，33.1集合的基本概念集合的表示方法:96有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念2.描述法（概括法）将集合中的元素的性质用一个谓词公式来描述，S=X|P(X),意义为:集合S由且仅由满足为此公式P(X)的对象组成，即 ，当且仅当p(a)为真。如例1中的4、6、7可表示为：3.文氏图用图形图像直观的描述集合之间的相互关系和有关运算。3.1集合的基本概念2.描述法（概括法）3.文氏图97有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念几个常见集合的表示符号：N：自然数集合，N=0，1，2，3；I：整数集合；P：素数或质数集合；Q：有理数集合；R：实数集合；C：复数集合；3.1集合的基本概念几个常见集合的表示符号：98有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念集合的特性:A.互异性：一个集合的个元素是可以区分开的，即每一 元素只出现一次。B.无序性：集合中元素排列顺序无关紧要，即集合表示 形式的不唯一性。例2：a，b，c=b，c，a=c，a，b=a，c，b=b，a，c=c，b，a3.1集合的基本概念集合的特性:99有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念C.确定性：任一事物是否属于某一集合，回答是确定的。例3：“好书”的全体，这不构成集合。注意：一个集合是已知的，指的是对任一元素，利用某种方法可以判断它是否是这个集合的元素，而不是把集合的每一个元素都给出来。3.1集合的基本概念C.确定性：任一事物是否属于某一集合，回100有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念集合的元素可以是任何具体或抽象的事物，包括别的集合，但不能是本集合自身。例4：在一个住着一些人家的偏僻孤岛上，岛上只有一个理发师a，a给且只给岛上所有不能自己理发的人理发。问谁给a理发？3.1集合的基本概念集合的元素可以是任何具体或抽象的事物，包101有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定义1.设A和B是两个集合，若A中的每一个元素都是B的元素，则称A是B的子集，也称B包含A,记作3.1集合的基本概念定义2.设A和B是任意两个集合，若A包含B且B包含A，则称A与B相等，记作A=B.即，二、集合的关系定义1.设A和B是两个集合，若A中的每一个元素都是B的元素，102有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念定义3.若A是B的子集且 ，则称A为B的真子集，或称B真包含A，记作，B称为A的超集。3.1集合的基本概念定义3.若A是B的子集且 ，则称103有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。集合的相等关系的性质：设A,B,C为3个集合，集合的包含关系的性质:3.1集合的基本概念集合的相等关系的性质：设A,B,C为3个集合，3.1集合的基104有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定义4.不包含任何元素的集合称为空集，记作或3.1集合的基本概念三、特殊集合定义4.不包含任何元素的集合称为空集，记作 或3.1集合105有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。定义4：在一定范围内，如果所有集合均为某一集合的子集，则称该集合为全集，记作E。定义5.集合中元素的个数称为基数或势，用|A|表示。基数是有限数的集合称为有限集，否则称为无限集。全集是相对的，不同的问题有不同的全集，即使是同一个问题也可以取不同的全集。3.1集合的基本概念定义4：在一定范围内，如果所有集合均为某一集合的子集，则称该106有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.1集合的基本概念含n个元素的集合简称n元集，其含有k(kn)个元素的子集称为它的k元子集。定义6.由集合S的所有子集组成的集合，称为集合S的幂 集，记作P（S）。表示为：有限集S，|P（S）|=2|S|例：Aa，b，c，d，c3.1集合的基本概念含n个元素的集合简称n元集，其含有k(k107有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.2 集合的运算一、集合的基本运算3.2集合的运算一、集合的基本运算108有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.2 集合的运算定义5.设A 为集合，A 的元素的元素构成的集合称为A的广义并，记作A 。3.2集合的运算定义5.设A 为集合，A 的元素的109有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.2 集合的运算A x|z(zA xz)若A A1,A2,，An，则A A1A2 An 定义6.设A 为非空集合，A 的所有元素的公共元素构成的集合称为A的广义交，记作A 。A x|z(zA xz)若A A1,A2,，An，则A A1 A2 An 例：Aa，b，c，a，b，e B=a C=a，c，d3.2集合的运算A x|z(zA x110有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。集合运算的优先级：高级：广义并、广义交、绝对补、求幂集；同级按从右向左的顺 序进行低级：并、交、相对补和对称差；同级按从左向右的顺序进行3.2 集合的运算集合运算的优先级：3.2集合的运算111有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.2 集合的运算 文氏图可以用来描述集合间的关系及其运算.在文氏图中,全集用矩形表示,子集用圆形表示,阴影部分表示运算结果的集合.二、文氏图ABBABAB A3.2集合的运算 文氏图可以用来描述集合间的关系及其运112有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.2 集合的运算 A3.2集合的运算 A113有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.3 集合恒等式一、集合运算定律以下列出集合性质中最主要的几条基本定律，对于全集E的任意子集A，B，C，有：3.3集合恒等式一、集合运算定律以下列出集合性质中最主要的114有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.3 集合恒等式3.3集合恒等式115有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。1、基本定义法根据集合相等的充要条件等式两边互为子集或由定义进行等价推理。2、公式法利用已证明过的恒等式去证明另外的恒等式。若表达式中出现形为A-B的差集时，用功能完备律先将运算“-”转化为运算“”和“”。二、集合恒等式证明3.3 集合恒等式1、基本定义法根据集合相等的充要条件等式两边互为子集或由定义116有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.3 集合恒等式3.3集合恒等式117有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.3 集合恒等式3.3集合恒等式118有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。3.3 集合恒等式3.3集合恒等式119有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。小 结集合的概念集合的特性集合的表示方法:列举法、描述法、文氏图集合的运算：并、交、补、差、求幂集合间的关系：包含、相等集合恒等式的证明：定义法、公式法、成员表法小 结集合的概念120有利于学习和创新的组织管理机制，创造充满活力的创新激励机制，以市场为导向，以顾客价值追求为中心的企业文化氛围，依赖既开放又相互信任的合作环境。第四章二元关系v4.1 有序对与笛卡儿积v4.2 二元关系v4.3 关系的运算v4.4