《命题逻辑》PPT课件.ppt
《《命题逻辑》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《命题逻辑》PPT课件.ppt(86页珍藏版)》请在三一办公上搜索。
1、第四章 命题逻辑,复合命题的含义定义 所谓复合命题就是在一个命题中还包含有其它命题的一种命题形式,其表现形式相当于语句中的复句。种类 根据复合命题中联结词的不同,复合命题可以分为联言命题、选言命题、假言命题和负命题等几种。复合命题的逻辑性质是由联结词所决定的。,第一节 联言命题及其推理第二节 选言命题及其推理第三节 假言命题及其推理第四节 负命题及其推理第五节 多重复合推理第六节 谓词逻辑的自然演绎系统NP第七节谓词逻辑有效性判断,第一节 联言命题及其推理,一、联言命题的特征 1、定义 联言命题就是断定若干事物情况同时存在的命题。(1)张三和李四都要受到法律制裁。(2)王某不但犯有贪污罪,而且
2、性质特别恶劣。(3)对待你我已心灰意冷。,2、结构:联言支(两个或两个以上),一般用符号P、q表示;联结词,用逻辑符号“”(读作“合取”)表示。联结词的语言形式有:“并且(和)”、“既又”、“而且”、“而 不但而且”、“虽然但是”等。,一个二支联言命题的逻辑形式为:语言表达式:p并且q 符号表达式:pq(“”读做合取;“pq”读做p合取q),二、联言命题的真假值 1、定义根据联言命题的逻辑性质或特征:只有当全部联言支所断定的情况都存在时,联言命题才是真的。也即:当且仅当联言支全真时,联言命题为真。学历高、能力强的员工都选择离开公司。张山没有离开公司了。戴安娜王妃即聪明又漂亮。她孩子去世了,她很
3、痛苦。绩效考核管理办法听起来合理,用起来别扭;看起来象样,做起来难堪。,2、联言命题的真值表,三、联言命题推理 1、定义:联言推理就是前提或结论为联言命题推理。它是根据联言命题的逻辑性质进行推演的推理。如:小胡既是我们班的班长,又是我们班的团支部书记,所以,小胡是我们班的团支部书记。胡适是五四新文化运动的主将,并且曾任北京大学校长,所以胡适曾任北京大学校长。,2、联言命题的逻辑性质:当且仅当所有支命题为真,则该联言命题为真。3、联言命题的基本形式:分解式联言推理;组合式联言推理,1)分解式联言推理;组合式联言推理联言推理的分解式就是前提为联言命题,结论是其支命题的联言推理形式。结构:pq pq
4、 所以,p 所以,q pq p(q),例如:在考核中不应搞“背靠背”,应该搞面对面。在工作中要遵循客观现实,不要形式主义。如果没有近海,就不用建设海军。你没有文化,就不用设置文化部。,2)组合式联言推理 联言推理的组合式就是前提为联言命题的支命题,结论是由前提中的支命题组合而成的联言命题的推理形式。结构:p q 所以 pq(p、q)pq,例如:北京是中国的经济中心,北京是中国的文化中心,北京是中国的经济中心和北京是中国的文化中心。,第二节 选言命题及其推理 一、选言命题的特征 1、定义 选言命题就是断定几种可能事物情况至少有一种存在的命题。这篇讲话稿或者是李秘书写的,或者是张秘书写。选民在选举
5、时,要么投赞成票,要么投反对票,要么投弃权票。,2、逻辑性质:几种情况的可能性,其中至少有一个是真的。3、种类根据选言支断定的事物情况是不是可以共同存在(是否可以同真),选言命题又可以区分为两种:相容选言命题;不相容选言命题。,1)相容选言命题:选言支断定的事物情况 可以共同存在。本案或者是内部的人作案,或者是外部的人作案。学习成绩不好,可能是学习方法不对,也可能是学习不认真。灯灭了,可能是因为停电了,可能是灯泡坏了,可能是电路烧了。统计数据,或者是统计有错误,或者是计算有错误。,逻辑形式 语言表达式:p或者q 符号表达式:pq(“”读做析取;“pq”读做p析取q),2)不相容选言命题:选言支
6、断定的事物情况不可以共同存在。逻辑性质:只能有一个为真。在困难面前不是迎头而上,就是畏难退缩。我认为对中国提供资金的言论是缺乏常识的,若非缺乏常识,就是极不负责任。”某人非自然死亡的原因,要么是自杀,要么是他杀,要么是意外事故。,4、选言命题的真值表,二、运用选言命题时应注意的问题 1、选言支必须穷尽 如果选言支不穷尽,则可能遗漏惟一为真的事物情况。而如果选言支穷尽,则事物的一切情况都包括无遗,其中必有取值为真的选言支,从而保证整个选言命题为真。如果需要限定,就一定要有说明,否则,人们就会以穷尽一切选言支的选言命题来对待。,2、不能混淆不同类型的选言命题 对两种选言命题的区分:1)区分两种选言
7、命题的逻辑根据 2)要善于利用真值表方法说明两种选言命题的区别 3)语言表达形式上的区别,3、不能混淆相容选言命题与联言命题 联言命题和相容选言命题由于支命题都具有相容性,须防止相互混淆。准确区分联言命题和相容选言命题的依据:1)看联结词 2)看复合命题与支命题之间的真假关系(联言命题必须在所有的支命题都为真时才成立,而相容选言命题只要有一个支命题为真就可以成立),有一块矿石,让甲乙丙三位同学辨认。甲说:“这不是铁,也不是铅。”乙说:“这不是铁,而是铜。”丙说:“这不是铜,而是铁。”已知,这三位同学中,有一个人都猜对了,有一个人都猜错了,有一个人只猜对一半。问:根据这些条件,下列哪词是真的?A
8、这块矿石是铁矿。B这块矿石是铜矿。C这块矿石是铅矿。D这块矿石是锡矿。E这块矿石是银矿。,三、选言命题推理一)定义 选言推理就是前提中有一个是选言命题,并根据选言命题选言支之间的关系而推出结论的推理。由于选言推理是由两个前提和一个结论组成的,所以,人们也称它为选言三段论,把前提中的选言命题称为大前提,另一个选言支称为小前提。如:恒星要么是运动的,要么是静止的,恒星是运动的,所以,恒星不是静止的。,二)种类 根据推理前提中选言命题的种类不同,可以把选言推理分为两类:相容选言推理和不相容选言推理。,一)相容选言推理 1、定义:是前提中有一个相容选言命题,并根据相容选言命题的逻辑性质进行的推理。2、
9、相容选言命题的逻辑性质:相容选言命题选言支至少有一支为真才真。,3、规则 第一,否定一部分选言支,就要肯定另一部分选言支。第二,肯定一部分选言支,不能否定另一部分选言支。,4、结构式(否定肯定式)例如:他或者是犯了贪污罪,或者是犯了受贿罪,他没有犯受贿罪,所以,他是犯了贪污罪,P或者q 或 pq 非p p 所以,q q(pq)p)q,二)不相容选言推理 1、定义 不相容选言推理是前提中有一个不相容选言命题,并根据不相容选言命题的逻辑性质进行的推理。2、不相容选言命题的逻辑性质:有且仅有一个选言支为真。,3、规则 第一,否定一部分选言支,就要肯定另一个选言支。第二,肯定一个选言支,就要否定其它的
10、选言支。,4、结构式(1)否定肯定式 否定肯定式不相容选言推理,就是在小前提中否定选言命题中除了一支以外的其他选言支,到结论中肯定在前提中没有被否定的那个选言支。例如:,被告要么是故意犯罪,要么是过失犯罪,被告不是故意犯罪,所以,被告是过失犯罪。,逻辑形式表示为:要么p,要么q p q 非p p 所以,q q 水涨船高,(2)肯定否定式。肯定否定式不相容选言推理,就是在小前提中肯定选言命题的一个选言支,在结论中否定其他的选言支。,第三节 假言命题及其推理,某人的死要么是正常死亡,要么是非正常死亡,某人的死是正常死亡,所以,某人的死不是非正常死亡。逻辑形式可以表示为:要么p,要么q 或 p q
11、p p 所以,非q q,三)选言推理的要求:1、大前提中的选言支必须穷尽 2、要遵守选言推理的规则,第三节 假言命题及其推理,一、假言命题的特征 1、定义 假言命题,又称条件命题,是指断定某一事物情况的存在是另一事物情况存在的条件的命题。例如:如果他是盗窃犯,那么他就去过现场。只有年满18周岁,才有选举权。一个三角形等角,当且仅当它等边。,3、结构式(两部分)(1)假言支。(两个:一个作为原因的称为“前件”;一个作为结果的称为“后件”)(2)联结词。通常用“如果那么”、“只有才”、“当且仅当则”表示。,4、假言命题的种类 根据假言命题所断定的前件是后件的不同条件,假言命题又可以区分为三种:充分
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题逻辑 PPT 课件
链接地址:https://www.31ppt.com/p-5481797.html