2015第四章命题逻辑.pptVIP

第四章 命题逻辑 预备知识 命题概述 第一节 负命题及其推理 第二节 联言命题及其推理 第三节 选言命题及其推理 第四节 假言命题及其推理 第五节 命题逻辑的自然推理系统NP 命题概述 一、命题和语句 二、命题的分类 命题概述——命题和语句 1. 什么是命题 命题(proposition)：反映事物情况的思想。 （1）李白是伟大的诗人。 （2）红了樱桃，绿了芭蕉。 （3）如果物体受到摩擦，那么物体发热。 （4）只有年满18岁，才有选举权。 命题概述——命题和语句 1.什么是命题 命题的真值(truth-value) 真和假是命题最基本的性质，也是逻辑学中重要的概念，逻辑学把真(T)和假(F)称为命题的真值。 二值原则: 任何命题或者是真的，或者是假的。 命题概述——命题和语句 2.命题和语句 语句和命题并非一一对应： 〇 并非任何语句都直接表达命题。 （1）明天是星期天吗? （2）请把门关上！ （3）祝你新年快乐! 〇 同一命题，可以用不同的语句表达。 （4）中秋节放假。 （5）谁说中秋节不放假。 〇 同一语句，可以表达不同的命题。 （6）小王在火车上画画。 命题概述——命题的分类 复合命题(compound proposition) 简单命题(simple proposition) 命题概述——命题的分类 复合命题 由联结词联结若干命题而形成的命题。 例： （1）罗素既是文学家，又是逻辑学家。 （2）小李或者是班长，或者是学习委员。 （3）如果你去晚了，就占不到座了。 （4）要么武松打死老虎，要么老虎吃掉武松。 （5）一个三角形是等边三角形当且仅当它是等角三角形。 命题概述——命题的分类 复合命题的成分 支命题(subproposition)： 构成复合命题的命题，称为复合命题的支命题。 命题联结词(connective)： 命题联结词是从真假方面对日常联结词的抽象。 逻辑学研究复合命题是从支命题的真假怎样决定复合命题的真假角度进行的。 命题概述——命题的分类 简单命题 简单命题是不包含其它命题的命题： （6）所有的被子植物都开花。 （7）有的学生做对了所有试题。 （8）这架飞机上的乘客或者是中国人，或者是法国人。 简单命题的成分： ☆主项、谓项、量项和联项。（见第三章） ★个体词、谓词、量词和联结词。（见第五章） 命题概述——命题的分类 模态命题(modal proposition)和 非模态命题(non-modal proposition） 模态命题是包含了“必然”、“可能”、“应当”、“禁止”等模态词的命题。 （9）人不可能拉着头发把自己提到空中。 （10）禁止司机酒后驾车。 命题概述——命题的分类 命题分析的层次 以命题为基本单位的分析——命题逻辑 以词项为基本单位的分析——词项逻辑 以谓词为基本单位的分析——谓词逻辑 把模态词作为基本内容的分析——模态逻辑 命题逻辑研究以简单命题为最小单位的，关于联结词的推理。 第一节 负命题及其推理 一、负命题 （一）什么是负命题 （二）负命题的逻辑性质 （三）矛盾关系和等值关系 二、负命题的推理 第一节 负命题及其推理 一、负命题 （一）什么是负命题 1、负命题 ⑴并非这个班的学生都学英语。 ⑵并非他不是乒乓球运动员。 ⑶不是只要一个人上了大学，他（她）就能有所作为。 负命题是否定一个命题而形成的复合命题。 第一节 负命题及其推理 一、负命题 （一）什么是负命题 2、负命题的结构、形式 负命题由否定词和被否定的命题构成。 负命题的形式：并非p 形式语言中负命题的形式称否定式； 记为：?p。 第一节 负命题及其推理 一、负命题 （二）负命题的逻辑性质 负命题的真假与被否定的命题的真假是相反的。 如果p是真的，那么，并非p是假的； 如果p是假的，那么，并非p是真的。 第一节 负命题及其推理 一、负命题 （二）负命题的逻辑性质 第一节 负命题及其推理 一、负命题 （三）矛盾关系和等值关系 p和?p既不能同真，也不能同假。这种关系称为矛盾关系。 ??p的真值与p的真值完全相同。这种既同真又同假关系称为等值关系。 第一节 负命题及其推理 一、负命题 （三）矛盾关系和等值关系 p、?p与??p的逻辑关系 第一节 负命题及其推理 二、负命题的推理 （一）双重否定引入规则（记为??+）： 从A能推出??A。 （二）双重否定消去规则（记为??_）： 从??A能推出A。 从形式方面讲，我们有以下两种推出关系：