1命题逻辑基本概念.pptVIP

离散数学是计算机专业的一门核心基础课程。 《离散数学》课程主要内容 一　数理逻辑 　　命题逻辑　谓词逻辑 二　集合论 　　集合代数　关系代数 三　代数系统 　　半群和群　环和域 四　图论 1、命题及其真值 命题是命题逻辑研究的基本对象 命题是表达判断的陈述句。 命题所表达得的判断结果称为命题的真值。 　　当命题为真时，称命题的真值为“真”；用T或1表示“ 　　当命题为假时，称命题的真值为“假”。用F或0表示 判断一个句子是否是一个命题主要考虑两条： 　　１．必须是陈述句　　２．客观上要存在唯一真值 例１ 判断下列句子是否为命题。 深圳市是广东省省会。 x大于y。 外星人曾来过地球。 今天是星期二。 请不要吸烟！ 这朵花真美丽啊！ 我在说假话。 2、原子命题与复合命题 无法继续分解的简单陈述句，称为简单命题或原子命题。 由一个或几个简单命题通过联结词复合而成的命题，称为复合命题。 命题一般用大写英文字母表示。表示命题的符号叫命题标识符。 例如，用Ｐ表示“３是奇数”，记作 “Ｐ：３是奇数”。 3、命题联结词 否定联结词? 合取联结词∧ 析取联结词∨ 条件联结词? 双条件联结词? 定义1 否定联结词 设Ｐ为命题，复合命题非Ｐ，叫Ｐ的否定式，记作?Ｐ。 　　记号?叫否定联结词。 ?Ｐ为真当且仅当Ｐ为假。 设Ｐ，Ｑ表