命题和联结词.pptVIP

离 散 数 学 （ Discrete Mathematics ）;课程介绍; 数理逻辑是用数学方法研究思维规律的一门学科. 所谓数学方法是指:用一套数学的符号系统来描述和处理思维的形式与规律. 因此, 数理逻辑又称为符号逻辑.;第一章 命题逻辑基本概念;第一章 命题逻辑基本概念;一、命题的概念;一、命题的概念;例1.1 判断下列句子是否为命题; 　　解: 本题的(9)个句子中，(6)是疑问句，(7)是祈使句，(8)是感叹句，因而这3个句子都不是命题。 　　剩下的6个句子都是陈述句，(3)无确定的真值：根据x,y的不同取值情况它可真可假，即无唯一的真值，因而不是命题。 　　若(9)的真值为真，即“我正在说假话”为真，也就是“我正在说真话”，则又推出(9)的真值应为假； 　反之，若(9)的真值为假，即“我正在说假话”为假，也就是“我正在说假话”，则又推出(9)的真值应为真。于是(9)既不为真又不为假，因此它不是命题。;　　像(9)这样由真推出假，又由假推出真的陈述句称为悖论。凡是悖论都不是命题。 　　本例中，只有(1)，(2)，(4)，(5)是命题。 　　(1)为假命题，(2)为真命题。 　　虽然今天我们不知道(4)，(5)的真值，但它们的真值客观存在，而且是唯一的，将来总会知道(4)的真值，到2100年元旦(5)的真值就真相大白了。 　　　注：真值唯一与现在能否确定是不同的!;2 命题和真值的符号化;二、复合命题与联结词;1 命题分类;2 联结词;（2） 合取联结词;使用合取联结词是要注意两点：;例1.３ 将下列命题符号化;　　解： 首先将原子命题符号化： 　 p: 吴颖用功. q: 吴颖聪明. 　 r: 张辉是三好学生. s: 王丽是三好学生. 　 t: 张辉与王丽是同学.;（3） 析取联结词;　　注意： 　　① 自然语言中的“或”有二义性： 　　相容“或”（可兼）；排斥“或”(排异). ② p∨q 中p与q的关系可任意.;　 解： 在解题时，先将原子命题符号化。 　(1) p：张晓静爱唱歌. q：张晓静爱听音乐 (1)中“或”为相容或，符号化为p∨q. (2) r：张晓静是江西人. s：张晓静是安徽人. (2)中“或”应为排斥或，但 r 与 s 不能同时为真，因而也可以符号化为 r∨s.;　 (3) t：张晓静挑选202房间. u：张晓静挑选203房间. 由题意可知，(3)中“或”应为排斥或. t，u的联合取值情况有四种：同真，同假，一真一假(两种情况). 如果也符号化为t∨u，张晓静就可能同时得到两个房间，这违背题意. 因而不能符号化为 t∨u. 如何达到只能挑一个房间的要求呢？可以使用多个联结词，符号化为 (t∧┐u)∨(┐t∧u). 此复合命题为真当且仅当t，u中一个为真，一个为假，它准确地表达了(3)的要求. 当t为真u为假时，张晓静得到202房间，t为假u为真时，张晓静得到203房间，其它情况下，她得不到任何房间.;（4） 蕴涵联结词;注 意：;注 意：;例1.5 将下列命题符号化，并指出各复合命题的真值：;以下命题中出现的 a 是给定的一个正整数: (5)只要a 能被 4 整除，则 a 一定能被 2 整除. (6) a 能被4 整除，仅当 a 一定能被 2 整除. (7) 除非 a 能被 2 整除， a 才能被 4 整除. (8) 除非 a 能被 2 整除，否则 a 不能被 4 整除. (9) 只有a 能被 2 整除， a 才能被 4 整除. (10) 只有a能被 4 整除， a 才能被 2 整除.;（5）等价联结词;例1.6 将下列命题符号化，将下列命题符号化，并讨论它们的真值：;3 几点说明; （2）多???使用联结词，可以组成更为复杂的复合命题. 规定的优先顺序： ;表1.1　基本复合命题的真值 ;练习：将下列命题符号化． 　　如果新房是三室二厅，并且使用面积150平方米，那么我就要；否则，我就不要． ;作业： P17 13 14　(2)、(4)、(5)、(8)、(9)