离散数学第(一部分.pptVIP

离 散 数 学Discrete Mathematics 张清华 蒲兴成 尹邦勇 刘勇 第一章 命题逻辑 1. 命题及其表示 命题：是指具有确定真值的陈述句或者能够判断真假的陈述句。 命题的真值：命题的判断结果。真值只取两个值： 真（1或T）、假（0或F）。 真命题：真值为真的命题。 假命题：真值为假的命题。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 注意: 感叹句、祈使句、疑问句都不是命题. 陈述句中的悖论以及判断结果不惟一确 定的也不是命题。 命题表示 在本书中，用大写的英文字母P,Q,R,…，P1,P2,P3…，等表示命题,用“1(或者T）”、“0（或者F）”分别表示真值的真、假。 如 P：太阳从东边升起。 Q：5是负数。 R：2008北京举办奥运会 。 其真值依次为1、0、1。 命题的分类 简单/原子命题：由不能再分解为更简单的陈述句的陈述句构成。 复合命题：由简单命题通过联结词联结而成的陈述句。 如： 命题“如果2是素数，则3也是素数”通过“如果……，则……” 组合而成，是复合命题，而“2是素数”和“3是素数”是简单命题。 2. 命题联结词 在日常语言中，一些简单的陈述句，可以通过某些联结词联