离散数学201023摘要.pptVIP

*集美大学理学院 * 第三章 命题逻辑 命题逻辑也称命题演算，或语句逻辑。 研究内容： （1）研究以命题为基本单位构成的前提和结论之间的可推导关系 （2）研究什么是命题？ （3）研究如何表示命题？ （4）研究如何由一组前提推导一些结论？ * 命题逻辑的特征： 在研究逻辑的形式时，我们把一个命题只分析到其中所含的命题成份为止，不再分析下去。不把一个简单命题再分析为非命题的集合，不把谓词和量词等非命题成份分析出来。 * 第三章 命题逻辑 集合的表示方法 2 命题公式 3 命题范式 4 命题基本概念 1 命题联结词 2 * 3.1 本章学习要求 重点掌握 一般掌握 了解 1 1、五种基本联结词 2、24个基本的等价公式 3 掌握求命题范式的方法 3 联结词完备集的理解和学习 2 公式的代入规则和替换规则 * 3.2.1 命题 定义3.2.1具有确切真值的陈述句称为命题, 该命题可以取一个“值”，称为真值。 真值只有“真”和“假”两种， 分别用“Ｔ”(或“１”)和“Ｆ”(或“０”)表示。 3.2 命题与命题联结词 * （1）太阳是圆的； （2）成都是一个旅游城市； （3）北京是中国的首都； （4）这个语句是假的； （5）1＋1＝10； （6）ｘ+y０； （7）我喜欢踢足球； （8）3能被2整除； （9）地球外的星球上也有人； （10）中国是世界上人口最多的国家； （11）今天是晴天； 例3.2.1 T T T/F 非命题 T/F F T/F T T T 非命题 * 例3.2.1（续） （12）把门关上； （13）滚出去！ （14）你要出去吗？ （15）今天天气真好啊！ 非命题 非命题 非命题 非命题 注意： 一切没有判断内容的句子都不能作为命题，如命令句、感叹句、疑问句、祈使句、二义性的陈述句等。 * 命题一定是陈述句，但并非一切陈述句都是命题。 命题的真值有时可明确给出，有时还需要依靠环境、条件、实际情况时间才能确定其真值。 结论： 在数理逻辑中像字母“x”、“y”、“z”等字母总是表示变量。 约定： * 下列语句是否是命题？并判断其真值结果？ （1）四川不是一个国家； （2）3既是素数又是奇数； （3）张谦是大学生或是运动员； （4）如果周末天气晴朗，则我们将到郊外旅游； （5）2+2=4当且仅当雪是白的。 例3.2.2 * 一般来说，命题可分两种类型： 原子命题(简单命题)：不能再分解为更为简单命题的命题。 复合命题：可以分解为更为简单命题的命题。而且这些简单命题之间是通过如“或者”、“并且”、“不”、“如果...则...”、“当且仅当”等这样的关联词和标点符号复合而构成一个复合命题。 命题的分类 * 今天天气很冷。 今天天气很冷并且刮风。 今天天气很冷并且刮风，但室内暖和。 例3.2.3 通常用大写的带或不带下标的英文字母Ａ、Ｂ、Ｃ、...P、Q、R、... Ai、Bi 、Ci、...Pi、Qi、Ri、...等表示命题 * 3.2.2 命题联结词 设命题P,Q表示任意两个命题,则最常见的命题联结词有： 联接词 记号 复合命题 读法 记法 真值结果 3.析取 ? P或者Q P与Q的析取 P?Q P∨Q=1?P=1或Q=1 2.合取 ∧ P并且Q P与Q的合取 P∧Q P∧Q=1?P=1且Q=1 1.否定 ┐ 非P P的否定 ┐P ┐P=1? P=0 4.蕴涵 → 若P,则Q P蕴涵Q P→Q P→Q=0 ? P=1,Q=0 ? 5.等价 P当且仅当Q P等价于Q P?Q P?Q=1?P=1,Q=1 或P=0,Q=0 例如：命题P：2是素数；Q：北京是中国的首都 * 总结 P Q ┐P P∧Q P∨Q P→Q P?Q 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 1 * 说明 1、联结词是句子与句子之间的联结，而非单纯的名词、形容词、数词等地联结； 2、联结词是两个句子真值之间的联结，而非句子的具体含义的联结，两个句子之间可以无任何地内在联系； * 符号化下列命题 （1）四川不是人口最多的省份； （2）王超是一个德智体全面发展的好学生； （3）教室的灯不亮可能是灯管坏了或者是停电了； （4）如果周末天气晴朗，那么学院将组织我们到石像湖春游； （5）两个三角形全等当且仅当三角形的三条边全部相等。 例3.2.4 * 例3.2.4 解 （1）设Ｐ：四川是人口最多的省份。 则命题（1）可表示为┐Ｐ。 （2）设Ｐ：王超是一个思想品德好的学生； Ｑ：王超是一个学习成绩好的学生； R：王超是一个体育成绩好的学生。 则命题（2