复合判断及其推理课件.ppt
《复合判断及其推理课件.ppt》由会员分享,可在线阅读,更多相关《复合判断及其推理课件.ppt(43页珍藏版)》请在三一办公上搜索。
1、复合判断及其推理,应重点掌握各种复合判断的逻辑形式;各种复合判断的逻辑特征及其真值表;各种负判断的等值判断。通过学习,具备以下能力:能够根据各种判断的逻辑含义,把复合判断的语言形式转化为标准逻辑形式;熟练地掌握各种复合判断的真值表,并运用真值表确定复合判断的真假值以及复合判断之间的等值、矛盾、反对、蕴涵等关系;掌握各种复合判断的等值判断,并能够进行各种判断之间的等值转换。,复合判断及其推理应重点掌握各种复合判断的逻辑形式;,第一节联 言 判 断,一、 什么是联言判断联言判断就是断定几种事物情况同时存在的判断。联言判断的逻辑形式是:p并且q其中,p、q被称为联言肢,“并且”是联结词,也可写作:p
2、q,第一节联 言 判 断一、 什么是联言判断,二、 联言判断真假的确定一个联言判断的真假是由其联言肢的真假来确定的。,二、 联言判断真假的确定pqpq真真真真假假假真假假假假,第二节选 言 判 断,一、什么是选言判断选言判断就是断定几种可能事物情况至少有一种存在的判断二、选言判断的种类因为选言肢之间有的能具有并存关系,有的不能具有并存关系,选言判断也就相应的区分为两种类型:相容选言判断和不相容选言判断。,第二节选 言 判 断一、什么是选言判断,1相容选言判断相容的选言判断就是断定几个选言肢中至少有一个为真并且可以同真的选言判断。或者说,相容的选言判断就是包含能具有并存关系的选言肢的选言判断。相
3、容的选言判断的逻辑特征就是在于其选言肢之间的关系不是相互排斥,是彼此相容,可以同真。,1相容选言判断,相容选言判断的逻辑形式是:P或者q其中,p、q称作选言肢,“或者”是联结词。在现代逻辑中,“或者”用符号“”(读作“析取”)表示。这样,上述形式也可写作:pq相容选言判断的联结词的语言表达方式还有:“也许也许”、“可能.可能”等等。,相容选言判断的逻辑形式是:,相容选言判断的真假,相容选言判断的真假p qpq真 真 真 真 假 真 假,2不相容选言判断 不相容选言判断就是断定几个选言肢中有并且只有一个为真的选言判断。或者说,不相容选言判断,就是包含不具有并存关系的选言肢的选言判断。不相容选言判
4、断的逻辑特征,就在于其选言肢之间的关系相互排斥,彼此不相容,不可同真。,2不相容选言判断,不相容选言判断的逻辑形式是:要么p,要么q其中p、q称作选言肢,“要么要么”是联结词。在现代逻辑中,“要么要么”用符号(读作“不相容析取”)表示。这样,上述形式也可写作:pq 不相容选言判断的逻辑联结词的语言表达方式,除“要么要么”之外,还有:“不是就是” ,“或或二者不可兼得”,等等。,不相容选言判断的逻辑形式是:,不相容选言判断的真假,不相容选言判断的真假p qp q(不相容) 真 真 假,第三节假 言 判 断,一、什么是假言判断假言判断就是断定某一事物情况的存在(或不存在)是另一个事物情况存在(或不
5、存在)的条件的判断。假言判断又叫条件判断。普通逻辑主要涉及充分条件,必要条件和充分必要条件这三种条件关系。 二、假言判断的种类由于有三种条件关系,反映这些条件关系的假言判断也就有三种类型:,第三节假 言 判 断一、什么是假言判断,1 充分条件假言判断断定事物情况之间具有充分条件关系的假言判断就是充分条件假言判断。如:充分条件假言判断的逻辑形式是:如果p,那么q其中,p、q分别称作“前件”和“后件”,“如果那么”是联结词。在现代逻辑中,“如果那么”用符号 “”(读作“蕴涵”)表示。这样上述形式也可写作:p q,1 充分条件假言判断,充分条件假言判断的真假,充分条件假言判断的真假p qpq真 真
6、真 真 假 假,2必要条件假言判断断定事物情况之间具有必要条件关系的假言判断就是必要条件假言判断。必要条件假言判断的逻辑形式是:只有p,才q其中p、q分别称作“前件”和“后件”,“只有才”是联结词。在现代逻辑中,“只有才”用符号“”(读作“逆蕴涵”)表示。这样,上述形式也可写作:pq,2必要条件假言判断,必要条件假言判断的真假,必要条件假言判断的真假p qpq真 真 真 真 假 真,3充分必要条件假言判断断定事物情况之间具有充分必要条件关系的假言判断就是充分必要条件假言判断。充分必要条件假言判断的逻辑形式是:p当且仅当q其中,p、q分别称作“前件”和“后件”,“当且仅当”是联结词。在现代逻辑中
7、“当且仅当”用符号“ ”(读作“等值”)来表示。这样,上述形式也可以写作:p q,3充分必要条件假言判断,充分必要条件假言判断的真假,充分必要条件假言判断的真假p qPq 真 真 真 真,第四节 负判断,一、什么是负判断负判断就是否定某个判断的判断。负判断是一种复合判断,它与在简单判断中讲到的性质判断的否定判断是不同的。负判断的逻辑形式是:并非p其中,p是支判断,“并非”是联结词。在现代逻辑中,“并非”用符号“”(读作“非”)表示。这样,上述形式也可写作:,第四节 负判断一、什么是负判断,负判断的真假,负判断的真假p 非p真 假 假 真,二、 简单判断的负判断否定一个简单判断就构成该简单判断的
8、负判断。前面已经学过六种性质判断,它们的负判断分别是:(1) 并非所有S是P。(2) 并非所有S不是P。(3) 并非有些S是P。(4) 并非有些S不是P。(5) 并非某个S是P。(6) 并非某个S不是P。,二、 简单判断的负判断,三、 复合判断的负判断否定一个复合判断就构成该复合判断的负判断。前面已经学过七种复合判断,它们的负判断分别是:(1) 并非(p并且q)(2) 并非(p或者q)(3) 并非(要么p,要么q)(4) 并非(如果p,那么q)(5) 并非(只有p,才q)(6) 并非(p当且仅当q)(7) 并非(并非p),三、 复合判断的负判断,真值表的几种作用,一、利用真值表判定复合判断的真
9、值其判定步骤是:第一步,将复合判断符号化为数理逻辑的命题表达式;第二步,用真值表的方法去判定复合判断的命题表达式的真值。二、利用真值表判定两个复合判断是否等值三、利用真值表判定两个复合判断是否为矛盾判断四、利用真值表判定复合判断推理是否有效,真值表的几种作用一、利用真值表判定复合判断的真值其判定步骤,联言推理,根据联言推理的定义,它可分为两种形式:分解式与组合式。 1、分解式的一般逻辑形式是: p并且q所以,p或: p并且q所以,q也可以用符号表示为:(pq)p 或(pq)q。,联言推理,联言推理,2组合式组合式的一般逻辑形式是: p , q 所以,p并且q 也可以用符号表示为: (p,q)(



- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 复合 判断 及其 推理 课件

链接地址:https://www.31ppt.com/p-1724851.html