真值-Basic.ppt

第1章 命题逻辑的基本概念 内容：命题逻辑研究的是命题的推理演算．这一章介绍命题逻辑的基本概念，包括引入命题联结词，讨论合式公式、重言式以及自然语句的形式化等内容． 命题逻辑的基本概念 命题定义：命题是一个非真即假(不可兼)的陈述句．有两层意思，首先命题是一个陈述句，其次真假不可兼． 命题的取值称为真值 ． 通常用T表示真值为真，用F表示真值为假．因为只有两种取值，所以这样的命题逻辑称为二值逻辑． 举例说明 (1)“雪是白的”是命题，真值为真 (2)“雪是黑的”是命题．真值为假 (3)“好大的雪啊”不是陈述句，不是命题． (4)“一个偶数可表示成两个素数之和” ．是命题，不知真值． (5)“1+101＝110”．是命题，这个句子所表达的内容在十进制范围中真值为假，而在二进制范围中真值为真．可见，这个命题的真值与所讨论问题的范围(论域)有关． 命题变项 命题变项定义：约定用大写字母表示命题，如以P表示“雪是白的”，Q表示“北京是中国的首都”等．当P表示任一命题时，P就称为命题变项(变元)． 命题与命题变项区别：命题与命题变项含义是不同的，命题指具体的陈述句，是有确定的真值，而命题变项的真值不定，只当将某个具体命题代入命题变项时，命题变项化为命题，方可确定其真值，命题与命题变项像数学中常量与变量的关系一样．在不混淆的情况下，逻辑演算中不再区分它们了。 简单命题和复合命题 简单命题定义：简单命题又称原子命题，它是不包含任何的与、或、非一类联结词的命题．如1．1．1中例子．这样的命题不可再分割，如再分割就不是命题了．而像命题“雪是白的而且l+l＝2”，就不是简单命题，它可以分割为“雪是白的”以及“1十1＝2”两个简单命题，联结词是“而且”． 命题逻辑与谓词逻辑区别：命题逻辑中将简单命题作为一个不可分的整体来看待．在谓词逻辑里，才对命题中的主谓结构进行深入分析． 复合命题定义：把一个或几个简单命题用联结词(如与、或、非)联结所构成的新的命题称为复合命题． 复合命题真值判断：复合命题自然也是陈述句，其真值依赖于构成该复合命题的各简单命题的真值以及联结词，如“张三学英语和李四学日语”就是一个复合命题，由简单命题“张三学英语” “李四学日语”经联结词“和”联结而成，这两个简单命题真值均为真时，该复合命题方为真． 数理逻辑关心什么？不关心内容：这些具体的陈述句的真值究竟为什么是真还是假。关心形式：关心的仅是命题可以被赋予真或假这样的可能性，以及规定了真值后怎样与其他命题发生联系． 命题联结词及真值表 联结词可将命题联结起来构成复杂的命题，从而使命题逻辑的内容变得丰富起来。 值得注意的是逻辑联结词与日常自然用语中的有关联结词的共同点和不同点． 常用的逻辑联结词 称谓、读法、记号：否定词“ ?”是个一元联结词，亦称否定符号，读作非。一个命题P加上否定词就形成了一个新的命题，记作? P。 否定词的运算规则真值表： 例1 “昨天张三去看球赛了”．该命题以P表示，于是 “昨天张三没有去看球赛”，该新命题便可用?P表示． 若昨天张三去看球赛了，命题P是真的，那么新命题?P必然是假的．反之，若命题P是假的，那么?P就是真的． 例2 Q：今天是星期三． ? Q：今天不是星期三． 然而? Q不能理解为“今天是星期四”，因为“今天是星期三”的否定，并不一定必是星期四，还可能是星期五、星期六…… 2. 合取词 称谓、读法、记号：合取词?是个二元命题联结词，亦称合取符号．将两个命题P，Q联结起来，构成一个新的命题P ? Q ，读作P , Q的合取，也可读作P与Q． 合取词的运算规则真值表： 例3 P：教室里有10名女同学． Q：教室里有15名男同学． 不难看出，命题P^Q : “教室里有10名女同学与15名男同学” 例4 A：今天下雨了． B：教室里有100张桌子。 可知A^B就是命题“今天下雨了并且教室里有100张桌子”． 同日常自然用语关系 日常自然用语里的联结词“和”、“与”、“并且”，一般是表示两种同类有关事物的并列关系．而在逻辑语言中仅考虑命题与命题之间的形式关系并不顾及日常自然用语中是否有此说法．这样，“^”同“与”、“并且”又不能等同视之． 逻辑联结词是自然用语中联结词的抽象，两者并不等同。合取词有“与”、“并且”的含义，有时也有“但是”的含义。 3 析取词 称谓、读法、记号：析取词“∨”是个二元命题联结词。将两个命题P、Q联结起来,构成一个新的命题P∨Q, 读作P、Q的析取, 也读作P或Q。 运算规则真值表： 例5: P: 今天刮风。 Q: 今天下雨。 命题“今天刮风或者下雨”便可由P∨Q来描述了。 例6: A: 2小于3。 B: 雪是黑的。 A∨B就是命题“2小于3或者雪是黑的”。由于