版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、.,第九章 负判断及其推理;真值表的作用,第一节 负 判 断 第二节 负判断推理 第三节 真值表的作用,.,第一节 负 判 断,一、什么是负判断 (一)含义 负判断就是否定某个判断的判断。例如: 并非所有的外商都是怀有诚意的。 并非语言或是上层建筑,或是经济基础。 并不是小王既爱好文艺,又爱好体育。 这三个判断都是负判断。 显然,负判断与性质判断中的否定判断是不同的。负判断是对整个判断的否定,而性质判断中的否定判断则是对主项与谓项的联系的否定;负判断是一种形式比较特殊的复合判断,它含有支判断,而性质判断中的否定判断是简单判断,它不含支判断。,.,(二)构成 负判断由否定联结词和一个支判断组成。
2、例的否定联结词是“并非”,支判断为“所有的外商都是怀有诚意的。”例的否定联结词是“并不是”,支判断为“小王既爱好文艺,又爱好体育”。 在自然语言中,负判断的否定联结词还可以用“不是”、“不能认为”、“不能说”、“没有”、“是假的”、“这话不对”、“不”等。否定联结词可以放在句首、句尾,也可以放在句中。例如: 微生物并不都微小。 “所有的天鹅都是白色的”这个说法是不对的。 例中的否定联结词“不”放在支判断的主项(“微生物”)之后,既否定量项“都”,又否定联项“是”。 例的否定联结词放在句尾,是对支判断“所有的天鹅都是白色的”的否定。,.,(三)逻辑形式 负判断选取“并非”这一语词作为否定联结词的
3、代表,并用符号“”表示。这样,负判断的逻辑形式可表示为: p 上式中的“p”表示支判断,支判断可以是简单判断,也可以是复合判断。“”读作“并非”。 (四)真值表 由于负判断是对整个支判断的否定,因而负判断与它的支判断之间是一种矛盾关系,即二者既不能同真,也不能同假:当其支判断为真时,该负判断为假;当其支判断为假时,该负判断为真。负判断同它的支判断之间的这种真假关系,可用右面的“因为SO真,所以PA假”这一推理是否有效?为什么?真值表表示。,.,二、几种常见的负判断及其等值判断,(一)六种性质判断的负判断及其等值判断 (二)联言判断的负判断及其等值判断 (三)相容选言判断的负判断及其等值判断 (
4、四)不相容选言判断的负判断及其等值判断 (五)充分条件假言判断的负判断及其等值判断 (六)必要条件假言判断的负判断及其等值判断 (七)充分必要条件假言判断的负判断及其等值判断 (八)负判断的负判断及其等值判断负判断的负判断的逻辑形式是:p。,.,全称肯定判断的负判断的逻辑形式是:SAP。 由于SAP的矛盾判断是SOP,所以,SAP SOP。就是说,全称肯定判断的负判断的等值判断是一个同素材的特称否定判断。例如,判断“并非所有的科学家都是天生聪明的”等值于判断“有的科学家不是天生聪明的”。 全称否定判断的负判断的逻辑形式是: SEP。 由于SEP的矛盾判断是SIP,所以,SEPSIP。就是说,全
5、称否定判断的负判断的等值判断是一个同素材的特称肯定判断。例如,判断“并非所有作品都不是杰作”等值于判断“有的作品是杰作”。 特称肯定判断的负判断的逻辑形式是:SIP。 由于SIP的矛盾判断是SEP,所以SIPSEP。就是说,特称肯定判断的负判断的等值判断是一个同素材的全称否定判断。例如,判断“并非有的人是长生不老的”等值于判断“所有的人都不是长生不老的”。 特称否定判断的负判断的逻辑形式是: SOP。 由于SOP的矛盾判断是SAP,所以,SOPSAP。就是说,特称否定判断的负判断的等值判断是一个同素材的全称肯定判断。例如,判断“并非有的结果不是有原因的”等值于判断“所有的结果都是有原因的”。
6、单称肯定判断的负判断的逻辑形式是: SaP。 由于SaP的矛盾判断是SeP,所以SaPSeP。就是说,单称肯定判断的负判断的等值判断是一个同素材的单称否定判断。例如,判断“并非小李是北京人”等值于判断“小李不是北京人”。 单称否定判断的负判断的逻辑形式是: SeP。 由于SeP的矛盾判断是SaP,所以SePSaP。就是说,单称否定判断的负判断的等值判断是一个同素材的单称肯定判断。例如,判断“并非克林顿总统不是受到弹劾的”等值于判断“克林顿总统是受到弹劾的”。,返回,.,联言判断的负判断的逻辑形式是:(pq)。 由于联言判断pq的矛盾判断是相容选言判断pq(因为联言判断的真值表已经显示:当且仅当
7、p假,或q假,或p和q 都假,则pq必假),所以,(pq)pq。就是说,联言判断的负判断的等值判断是一个相应的其选言支均被否定的相容选言判断。例如,判断“并非王刚既学习好,又思想好,身体好”,等值于判断“王刚或者学习不好,或者思想不好,或者身体不好”。,返回,.,相容选言判断的负判断的逻辑形式是: (pq)。 由于相容选言判断pq的矛盾判断是联言判断pq(因为相容选言判断的真值表已经显示:当且仅当p和q同假,则pq假),所以,(pq) pq。就是说,相容选言判断的负判断的等值判断是一个相应的其联言支均被否定的联言判断。例如,判断“并非张三或者是党员,或者是团员”等值于判断“张三既不是党员,也不
8、是团员”。,返回,.,不相容选言判断的负判断的逻辑形式是:(pq)。 由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)( pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。 注意:(pq)(pq),返回,.,不相容选言判断的负判断的逻辑形式是:(pq)。 由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)( pq
9、)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。 注意:(pq)(pq),返回,.,不相容选言判断的负判断的逻辑形式是:(pq)。 由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)( pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负
10、判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。 注意:(pq)(pq),返回,.,充分条件假言判断的负判断的逻辑形式是: (pq)。 由于充分条件假言判断pq的矛盾判断是联言判断pq (因为充分条件假言判断的真值表已经显示:当且仅当p真而q 假,则pq假),所以,(pq)pq。就是说,充分条件假言判断的负判断的等值判断是一个相应的联言判断。例如,判断“并不是有了复读机,就能学好外语”,等值于判断“有了复读机,但没能学好外语”。,返回,.,不相容选言判断的负判断的逻
11、辑形式是:(pq)。 由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)( pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。 注意:(pq)(pq),返回,.,必要条件假言判断的负判断的逻辑形式是: (pq)。 由于必要条件假言判断pq的矛盾判断是联言判断pq (因为必要条件假言判断的真值表已经显示:当且仅当p假而q 真
12、,则pq假),所以,(pq)pq。就是说,必要条件假言判断的负判断的等值判断是一个相应的联言判断。例如,判断“并非只有骄傲自满才会落后”,等值于判断“没有骄傲自满,但落后了”。,返回,.,充分必要条件假言判断的负判断的逻辑形式是: (pq)。 由于充分必要条件假言判断pq的矛盾判断是多重复合选言判断(pq)(pq)(因为充分必要条件假言判断的真值表已经显示:当且仅当p真而q假或p假而q真,则pq假),所以,(pq)(pq)(pq)。就是说,充分必要条件假言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非当且仅当得了阑尾炎才肚疼”,等值于判断“或者得了阑尾炎但没肚疼,或者
13、没有得阑尾炎但肚疼了”。 充分必要条件假言判断的负判断的等值判断,还可以通过推导得出。 (pq)(pq)(pq) (pq)(pq)(pq) (pq)(pq) (pq)(pq),返回,.,由于负判断p的矛盾判断是p(因为负判断的真值表已经显示:当且仅当p真,则p假),所以,pp。就是说,负判断的负判断的等值判断是一个初始原判断(支判断)。例如,判断“并非并非有的物体不是固体”,等值于判断“有的物体不是固体”。,返回,.,第二节 负判断推理,一、什么是负判断推理 负判断推理就是根据负判断和它的等值判断之间的逻辑关系所进行的推理。其特点是,前提是一个负判断(或负判断的负判断),结论是该负判断(或该负
14、判断的负判断)的等值判断。例如: 并不是所有水生动物都是鱼;所以,有的水生动物不是鱼。 并非只要迁就别人,就一定不得罪别人;所以,迁就别人,但不一定不得罪别人。 例的前提是一个全称肯定判断的负判断,其逻辑形式为SAP,结论是这个负判断的等值判断,其逻辑形式为SOP;例的前提是一个充分条件假言判断的负判断,其逻辑形式为 (pq),结论是这个负判断的等值判断,其逻辑形式为pq。显然,这两个推理都是依据判断间的等值关系而进行的。 例的推理形式是: SAPSOP 例的推理形式是:(pq)pq 因此,负判断推理是一种直接推理,也是一种必然性推理。,返回,.,二、负判断推理的有效推理式,本章第一节介绍了几
15、种常见的负判断及其等值判断。据此,我们可以得到以下13个有效的负判断推理式: SAPSOP SEPSIP SIPSEP SOPSAP SaPSeP SePSap (pq)pq (pq)pq (pq)(pq)(pq) 10(pq)pq 11(pq) pq 12(pq)(pq)(pq) 13pp 上述各推理式的实例,可分别参见本章第一节中“几种常见的负判断及其等值判断”部分的相关例子。此外,读者应再自举各式实例。如前所述,在其逻辑形式上,某个负判断的“直接等值判断”是一个,而“间接等值判断”可能有很多个。所以,上述13个有效的负判断推理式,仅仅是从“直接等值”的角度考察而得到的。,.,第三节 真值
16、表的作用,一、用真值表判定任意一个多重复合判断的逻辑形式是否为永真式,从而判定一个复合判断推理的推理形式是否有效 二、用真值表可判定任意两个复合判断是否等值、是否矛盾等 三、用真值表解答一些比较复杂的逻辑问题,.,一、用真值表判定任意一个多重复合判断的逻辑形式是否为永真式,从而判定一个复合判断推理的推理形式是否有效 (一)真值形式的含义 (二)真值形式的分类 真值形式的分类:永真式(重言式)、永假式(矛盾式)和适真式。 所谓“永真式”,就是说,不论其所含的判断变项取值为真或为假,该复合判断的逻辑形式总是取值为真。判定一个多重复合判断的逻辑形式是否为永真式的步骤是:先按字母表次序(即p、q、r
17、)排列判断变项,且列出其可能的各种真假组合情况;再依据某些基本真值表构建出该多重复合判断逻辑形式的真值表,构建时按照后一列的真值要依据前列真值的原则(往往表现为由简单到复杂)由左向右排列;然后是判定,如果该多重复合判断逻辑形式真值表的最后一列的值均为真,则该多重复合判断的逻辑形式就是永真式,否则,就不是永真式。,返回,.,二、用真值表可判定任意两个复合判断是否等值、是否矛盾等 (一)任意两个同素材的复合判断之间所具有的逻辑关系 任意两个同素材的复合判断之间所具有的逻辑关系不外是等值、矛盾反对、下反对、蕴涵、逆蕴涵六种。 所谓“两个判断等值”,就是说,两个有着共同变项的判断,不论其判断变项取值真
18、或假,这两个判断的值总是相等的,即一个真时,另一个必真;一个假时,另一个必假。所谓“两个判断矛盾”,就是说,两个有着共同变项的判断,不论其判断变项取值真或假,这两个判断的值总是相矛盾的,即一个真时,另一个必假;一个假时,另一个必真。,返回,.,三、用真值表解答一些比较复杂的逻辑问题 例一 某县委书记想在经党代会选出的两位同志(张三、李四)中挑选一人担任某乡党委书记。他征求了县委其他三位领导甲、乙、丙的意见。甲说:“如果不让张三担任,那么也不能让李四担任”;乙说“如果不让张三担任,就让李四担任”;丙说:“要么让张三担任,要么让李四担任。”问:该县委书记能否找到一种选择,使甲、乙、丙三人的意见都得到满足?
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 水环境监测与水质改善行业技术趋势分析
- 云企业资源规划(ERP)行业商业机会挖掘与战略布局策略研究报告
- 可持续渔业行业供需趋势及投资风险研究报告
- 二手图书交易电商行业深度调研及发展策略研究报告
- 《 库布齐沙地植被演替与恢复过程中植物-土壤微生物互作研究》范文
- 2023年台州市路桥区拓能智能科技有限公司招聘笔试真题
- 2023年昆明市社会福利院招聘笔试真题
- 2023年恩施市事业单位考核聘用“三支一扶”服务期满人员笔试真题
- 四川省眉山一中办学共同体2025届高考冲刺物理模拟试题含解析
- 2025届广东省清连中学高考物理押题试卷含解析
- 人教版小学四年级数学上册教案全册
- GB∕T 4423-2020 铜及铜合金拉制棒
- 加油站反恐防暴应急预案
- 统编版一年级上册《秋天》课件
- 微课程设计脚本梅彬
- 高校工作名师工作室建设项目申报书
- 新湘教(湖南美术)版小学美术一年级上册全册PPT课件(精心整理汇编)
- 博德之门BG+TOSC细节攻略
- 北师大版二年级数学上册十一假期作业
- 节能评审评价指标M、N值问题
- BD 420004-2015 全球卫星导航系统(GNSS)导航型天线性能要求及测试方法
评论
0/150
提交评论