第一篇数理逻辑.ppt

离 散 数 学Discrete Mathematics 福建师范大学福清分校 数学与计算机科学系 黄晓秋 第一章 命题逻辑 1. 命题及其表示 命题：是指具有确定真值的陈述句或者能够判断真假的陈述句。 命题的真值：命题的判断结果。真值只取两个值：真（1或T）、假（0或F）。 真命题：真值为真的命题。 假命题：真值为假的命题。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 感叹句、祈使句、疑问句都不是命题. 陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单陈述句表达的命题称为简单命题或原子命题。命题逻辑不再进一步分析简单命题的内部结构。 命题的分类 简单/原子命题：由不能再分解为更简单的陈述句的陈述句构成。 复合命题：由简单命题通过联结词联结而成的陈述句。 如： 命题“如果2是素数，则3也是素数”通过“如果……，则……” 组合而成，是复合命题，而“2是素数”和“3是素数”是简单命题。 命题表示 用英文字母表示命题,用“1(或者T）”、“0（或者F）”分别表示真值的真、假。 如 P：太阳从东边升起。 Q：5是负数。 R：2008北京举办奥运会 。 其真值依次为1、0、1。 2. 命题联结词 在日常语言中，一些简单的陈述句，可以通过