离散数学课件1.pptx

第一编 集合论第一章 集合1.1 预备知识（prerequisites）命题逻辑和谓词逻辑是数理逻辑中最基本的内容。十九世纪中后期，德国数学家莱布尼兹、英国数学家布尔和逻辑学家怀海特、罗素为数理逻辑的产生和发展有突出贡献。从二十世纪40年代起，数理逻辑成为计算机科学的重要基础理论之一。如布尔代数在计算机硬件设计中发挥了重大作用；形式语言的研究为建立计算机语言提供了基础。命题逻辑命题和命题联结词命题公式和真值表命题等值式命题推理定律命题是客观上能判明真假的陈述句。当命题为真时，称命题的真值为“真”；否则，说命题的真值为“假”。用T或1表示“真”，用F或0表示“假”。 （ Proposition: a statement that is either true or false,but not both.）所有这些命题，都应具有确定的真值。判断下列语句是不是命题:(1) 天气多好啊!(2) 你去哪里？(3) X＞3。(4) 别的星球有生物。(5) 我正在说慌。解：(1)是感叹句；(2)是疑问句；它们都不是命题。 (3) 真假要视Ｘ的值而定，因此这个语句无确定真值。它不是命题。 (4)的真实性目前还无法判明，但在客观上，是真是假，二者必居其一。因此它是命题。 (5)同样不能判明真假。如说该命题为真，但原语句却说“本命题为假”；如果说它为假，却又肯定了它(本命题)是真的，这样造成了自相矛盾的结果！这是所谓悖论。无法继续分解的简单陈述句，称为简单命题或原子命题。(不包含任何“与、或、非”等联结词的命题)由一个或几个简单命题通过联结词复合而成的命题，称为复合命题。(1)期中考试，张三没有考及格(2)期中考试，张三和李四都考及格了(3)期中考试，张三和李四有人考90分(4)如果张三考90分，李四也能考90分(5)张三能考90分当且仅当李四也考90分命题联结词否定联结词?合取联结词∧析取联结词∨蕴涵联结词?等价联结词? 定义1否定联结词设Ｐ为命题，复合命题非Ｐ，叫Ｐ的否定式，记作?Ｐ。记号?叫否定联结词。?Ｐ为真当且仅当Ｐ为假。 例如，设Ｐ：今天是星期二。 则?Ｐ：今天不是星期二。定义2合取联结词设Ｐ，Ｑ表示两个命题，复合命题“Ｐ且Ｑ”叫命题Ｐ与Ｑ的合取，记作Ｐ∧Ｑ。记号∧叫合取联结词。Ｐ∧Ｑ为真，当且仅当Ｐ，Ｑ同时为真。 例如，设Ｐ: 2是素数。 Ｑ: 2是偶数。R： 2是奇数。 则Ｐ∧Ｑ：2既是素数又是偶数。(真值为真) Ｐ∧R：2既是素数又是奇数。(真值为假)定义3析取联结词设Ｐ，Ｑ为二命题，复合命题“Ｐ或Ｑ”称作Ｐ与Ｑ的析取，记作Ｐ∨Ｑ，∨叫析取联结词。Ｐ∨Ｑ为真，当且仅当Ｐ，Ｑ之中至少有一为真。 例如，设Ｐ：2是素数。Ｑ：2是偶数。 R： 2是奇数。 则Ｐ∨Ｑ：2是素数或2是偶数。(真值为真) Ｐ∨ R：2是素数或2是奇数。(真值为真)∨pq相容或?√一个人不可能同时骑车又走路2-30或今天天气很好。 ×他今天骑车或走路来上课。从理科1号楼到图书馆要2分钟或4分钟。 ×意思：大约2分钟到4分钟注：“或”有两种标准用法，张三或李四考了90分（相容“或”）第一节课上数学或者上英语定义4蕴涵联结词设Ｐ，Ｑ是二命题，复合命题“如Ｐ，则Ｑ”称为Ｐ与Ｑ的蕴涵式，记作Ｐ→Ｑ, 其中Ｐ叫前件或前题，Ｑ叫后件或结论。Ｐ→Ｑ为真当且仅当Ｐ真和Ｑ假不同时成立。 例如，如果明天天晴就开运动会。 设Ｐ：明天天晴。Ｑ:明天开运动会。 则原命题表示为：Ｐ→Ｑ。 蕴涵符号?蕴涵式、蕴涵联结词qpqp? 如果则pqp ? q001011100111只要就如果明天下雨，我们就放假 仅当√ 明天不下雨我们不放假 只有才√ 明天不下雨我们放假 × 明天下雨我们不放假 √ 明天下雨我们放假 定义5 等价联结词设Ｐ,Ｑ为二命题，复合命题“Ｐ当且仅当Ｑ”称为Ｐ与Ｑ的等价式，记作Ｐ?Ｑ。?叫等价联结词，也记作iff。Ｐ?Ｑ为真当且仅当Ｐ,Ｑ真值相同。 例如，2+2＝4当且仅当雪是白的。 设Ｐ： 2+2＝4 。Ｑ：雪是白的。 则原命题表示为：Ｐ?Ｑ。命题常量和命题变元命题一般用大写英文字母表示。表示命题的符号叫命题标识符。 例如，用Ｐ表示“雪是黑的”，记作“Ｐ：雪是黑的”。如果一个命题标识符表示某个确定的命题，则称为命题常量。特别地，真命题(用T表示)和假命题(用F表示)是命题常量。如果一个命题标识符表示不确定的命题，则称为命题变元。命题变元不是命题。在命题演算中，对命题变元指定相应的真值(真或假)，称为对命题变元的真值指派。 集合{T,F}是命题变元的值域。相应的真值表命题公式设P和Q是任意两个命题，则下列命题都是复合命题设P和Q是命题变元，则上述公式均称作命题公式。P和Q称作命题公式的分量。命题公式(1)单个命题变元（或常元）是命题公式；(2)若A是命题公式，则(