1命题逻辑基本概念.pptVIP

离散数学是计算机专业的一门核心基础课程。 《离散数学》课程主要内容 一　数理逻辑 　　命题逻辑　谓词逻辑 二　集合论 　　集合代数　关系代数 三　代数系统 　　半群和群　环和域 四　图论 1、命题及其真值 命题是命题逻辑研究的基本对象 命题是表达判断的陈述句。 命题所表达得的判断结果称为命题的真值。 　　当命题为真时，称命题的真值为“真”；用T或1表示“ 　　当命题为假时，称命题的真值为“假”。用F或0表示 判断一个句子是否是一个命题主要考虑两条： 　　１．必须是陈述句　　２．客观上要存在唯一真值 例１ 判断下列句子是否为命题。 深圳市是广东省省会。 x大于y。 外星人曾来过地球。 今天是星期二。 请不要吸烟！ 这朵花真美丽啊！ 我在说假话。 2、原子命题与复合命题 无法继续分解的简单陈述句，称为简单命题或原子命题。 由一个或几个简单命题通过联结词复合而成的命题，称为复合命题。 命题一般用大写英文字母表示。表示命题的符号叫命题标识符。 例如，用Ｐ表示“３是奇数”，记作 “Ｐ：３是奇数”。 3、命题联结词 否定联结词? 合取联结词∧ 析取联结词∨ 条件联结词? 双条件联结词? 定义1 否定联结词 设Ｐ为命题，复合命题非Ｐ，叫Ｐ的否定式，记作?Ｐ。 　　记号?叫否定联结词。 ?Ｐ为真当且仅当Ｐ为假。 设Ｐ，Ｑ表示两个命题，复合命题“Ｐ且Ｑ”叫命题Ｐ与Ｑ的合取，记作Ｐ∧Ｑ。 记号∧叫合取联结词。 Ｐ∧Ｑ为真，当且仅当Ｐ，Ｑ同时为真。 例2 将下列命题符号化。 吴颖既用功又聪明。 吴颖不仅用功而且聪明。 吴颖虽然聪明但不用功。 张辉与王丽都是三好学生。 张辉与王丽是同学。 设Ｐ，Ｑ为二命题，复合命题 “Ｐ或Ｑ”称Ｐ与Ｑ的析取， 记作Ｐ∨Ｑ,∨叫析取联结词. Ｐ∨Ｑ为假，当且仅当Ｐ，Ｑ均为假。 设Ｐ,Ｑ是二命题，复合命题“若Ｐ,则Ｑ”称为Ｐ与Ｑ的条件命题，记作Ｐ→Ｑ。其中Ｐ叫前件，Ｑ叫后件。 Ｐ→Ｑ为假当且仅当Ｐ为真和Ｑ为假。 设Ｐ,Ｑ为二命题，复合命题“Ｐ当且仅当Ｑ”称为Ｐ与Ｑ的双条件命题，记作Ｐ?Ｑ。?叫双条件联结词。 Ｐ?Ｑ为真当且仅当Ｐ,Ｑ真值相同。 多次使用联结词集中的联结词，可以组成更为复杂的复合命题。 求复杂复合命题的真值时，除依据上表外，还要规定联结词的优先顺序，将括号也算在内。 本书规定的联结词优先顺序为：( )，┐，∧，∨，→， ?，对于同一优先级的联结词，先出现者先运算。 例6 p：北京比天津人口多。q: 2+2=4。 ?????? r：乌鸦是白色的。 求下列复合命题的真值：?(1)((┐p∧q)∨(p∧┐q))→r ?(2)(q∨r)→(p→┐r) ?(3)(┐p∨r)?(p∧┐r) 1、命题常元和命题变元 命题常元：表示了具体命题的命题符号． 　　　　　　常用p,q,r,s,t…表示命题变元。 　例：p：我是一个学生．则p是命题常元． 命题变元：没有表示具体命题但可以表示任何命题的命题符号．　　　　也用p,q,r,…表示命题变元。 p,q,r,…既可以表示命题常元，也可以表示命题变元。在使用中，需要由上下文确定它们表示的是常元还是变元。 2、命题公式 定义１ 命题逻辑的合式公式规定为： (1)任意一个命题常元或变元是合式公式； (2)Ｐ是合式公式，则（?Ｐ）是合式公式； (3)Ｐ、Ｑ是合式公式，则（Ｐ∧Ｑ）、（Ｐ∨Ｑ）， （Ｐ→Ｑ），（Ｐ?Ｑ）是合式公式； (4)当且仅当有限次的应用(1)、(2)、(3)生成的式子是合式公式。 合式公式亦称为命题公式，简称公式。 3、公式的层次 4、公式的赋值或解释 5、真值表 将命题公式A在所有赋值下取值情况列成表，称作A的真值表。 例1、求命题公式┐(p→(q∧r))的真值表。解：公式的真值表为： 例2、求下列公式的真值表，并求成真赋值和成假赋值。 (1)(┐p∧q)→┐r (2)(p∧┐p)?(q∧┐q) (3)┐(p→q)∧q∧r 6、公式的类型 例3、 下列各公式均含两个命题变项p与q，它们中哪些具有相同的真值表? (1) p→q (4) (p→q)∧(q→p)(2) p?q (5) ┐q∨p(3) ┐(p∧┐q) 7、哑元 设公式A,B中共含有命题变项p1,p2,…,pn，，而A或B不全含有这些命题变项，比如A中不含pi,pi+1,…,pn ,称这些命题变项为A的哑元，A的取值与哑元的变化无关，因而在讨论A与B是否有相等的真值表时，将A,B都看成p1,p2,…,pn的命题公式。 8、小结 例4、将下列命题符号化。 例5、求下列命题公式的真值表： P∧