四命题逻辑.ppt

第四章 命题逻辑 复合命题的含义定义 所谓复合命题就是在一个命题中还包含有其它命题的一种命题形式，其表现形式相当于语句中的复句。 种类 根据复合命题中联结词的不同，复合命题可以分为联言命题、选言命题、假言命题和负命题等几种。复合命题的逻辑性质是由联结词所决定的。 第一节 联言命题及其推理 第二节 选言命题及其推理 第三节 假言命题及其推理 第四节 负命题及其推理 第五节 多重复合推理 第六节 谓词逻辑的自然演绎系统NP 第七节谓词逻辑有效性判断 第一节 联言命题及其推理 一、联言命题的特征 1、定义 联言命题就是断定若干事物情况同时存在的命题。 （1）张三和李四都要受到法律制裁。  （2）王某不但犯有贪污罪，而且性质特别恶劣。 （3）对待你我已心灰意冷。 2、结构：联言支（两个或两个以上），一般用符号P、q表示； 联结词，用逻辑符号“∧”（读作“合取”）表示。 联结词的语言形式有：“并且（和）”、“既……又”、“……而且……”、“……而…… 不但……而 且”、“虽然……但是”等。  一个二支联言命题的逻辑形式为： 语言表达式：p并且q  符号表达式：p∧q（“∧”读做合取；“p∧q”读做p合取q）  二、联言命题的真假值  1、定义 根据联言命题的逻辑性质或特征:只有当全部联言支所断定的情况都存在时，联言命题才是真的。也即：当且仅当联言支全真时，联言命题为真。 学历高、能力强的员工都选择离开公司。张山没有离开公司了。 戴安娜王妃即聪明又漂亮。 她孩子去世了，她很痛苦。绩效考核管理办法》听起来合理，用起来别扭；看起来象样，做起来难堪 。 2、联言命题的真值表  三、联言命题推理 1、定义： 联言推理就是前提或结论为联言命题推理。它是根 据联言命题的逻辑性质进行推演的推理。 如：小胡既是我们班的班长，又是我们班的团支部书记， ————————————————————— 所以，小胡是我们班的团支部书记。  胡适是五四新文化运动的主将，并且曾任北京大学校长，所以胡适曾任北京大学校长。 2、联言命题的逻辑性质：当且仅当所有支命题为真，则该联言命题为真。  3、联言命题的基本形式：分解式联言推理；组合式联言推理 1）分解式联言推理；组合式联言推理 联言推理的分解式就是前提为联言命题， 结论是其支命题的联言推理形式。  结构： p∧q p∧q ————— —————  所以，p 所以， q p∧q —→p（q） 例如： 在考核中不应搞 “背靠背”，应该搞面对面。 在工作中要遵循客观现实，不要形式主义。 如果没有近海，就不用建设海军。 你没有文化，就不用设置文化部。 2）组合式联言推理 联言推理的组合式就是前提为联言命题的支命题，结论是由前提中的支命题组合而成的联言命题的推理形式。  结构： p q ————— 所以 p∧q （p、q）—→p∧q  例如： 北京是中国的经济中心， 北京是中国的文化中心， 北京是中国的经济中心和北京是中国的文化中心。 第二节 选言命题及其推理 一、选言命题的特征 1、定义 选言命题就是断定几种可能事物情况至少有一种存在的命题。 这篇讲话稿或者是李秘书写的，或者是张秘书写。 选民在选举时，要么投赞成票，要么投反对票，要 么投弃权票。  2、逻辑性质 ：几种情况的可能性，其中至少有一个是真的。 3、种类根据选言支断定的事物情况是不是可以共同存在（是否可以同真），选言命题又可以区分为两种：相容选言命题；不相容选言命题。 1）相容选言命题 ：选言支断定的事物情况 可以共同存在。 本案或者是内部的人作案，或者是外部的人作案。  学习成绩不好，可能是学习方法不对，也可能是学习不认真。 灯灭了，可能是因为停电了，可能是灯泡坏了，可能是电路烧了。 统计数据，或者是统计有错误，或者是计算有错误。 逻辑形式 语言表达式：p或者q 符号表达式： p∨q（“∨”读做析取；“p∨q”读做p析取q） 2）不相容选言命题 ：选言支断定的事物情况不可以共同存在。 逻辑性质：只能有一个为真。  在困难面前不是迎头而上，就是畏难退缩。 我认为对中国提供资金的言论是缺乏常识的，若非缺乏常识，就是极不负责任。” 某人非自然死亡的原因，要么是自杀，要么 是他杀，要么是意