负判断及其推理PPT课件

上传人:痛*** 文档编号:176662018 上传时间:2022-12-23 格式:PPT 页数:25 大小:286KB
收藏 版权申诉 举报 下载
负判断及其推理PPT课件_第1页
第1页 / 共25页
负判断及其推理PPT课件_第2页
第2页 / 共25页
负判断及其推理PPT课件_第3页
第3页 / 共25页
资源描述:

《负判断及其推理PPT课件》由会员分享,可在线阅读,更多相关《负判断及其推理PPT课件(25页珍藏版)》请在装配图网上搜索。

1、2021/3/25授课:XXX1第九章 负判断及其推理;真值表的作用第一节 负 判 断第二节 负判断推理第三节 真值表的作用2021/3/25授课:XXX2第一节 负 判 断一、什么是负判断一、什么是负判断(一)含义(一)含义负判断就是否定某个判断的判断。例如:负判断就是否定某个判断的判断。例如:并非所有的外商都是怀有诚意的。并非所有的外商都是怀有诚意的。并非语言或是上层建筑,或是经济基础。并非语言或是上层建筑,或是经济基础。并不是小王既爱好文艺,又爱好体育。并不是小王既爱好文艺,又爱好体育。这三个判断都是负判断。这三个判断都是负判断。显然,负判断与性质判断中的否定判断是不同的。负显然,负判断

2、与性质判断中的否定判断是不同的。负判断是对整个判断的否定,而性质判断中的否定判断判断是对整个判断的否定,而性质判断中的否定判断则是对主项与谓项的联系的否定;负判断是一种形式则是对主项与谓项的联系的否定;负判断是一种形式比较特殊的复合判断,它含有支判断,而性质判断中比较特殊的复合判断,它含有支判断,而性质判断中的否定判断是简单判断,它不含支判断。的否定判断是简单判断,它不含支判断。2021/3/25授课:XXX3(二)构成 负判断由否定联结词和一个支判断组成。例负判断由否定联结词和一个支判断组成。例的否定联结词的否定联结词是是“并非并非”,支判断为,支判断为“所有的外商都是怀有诚意的。所有的外商

3、都是怀有诚意的。”例例的的否定联结词是否定联结词是“并不是并不是”,支判断为,支判断为“小王既爱好文艺,又爱好小王既爱好文艺,又爱好体育体育”。在自然语言中,负判断的否定联结词还可以用在自然语言中,负判断的否定联结词还可以用“不是不是”、“不能认为不能认为”、“不能说不能说”、“没有没有”、“是假是假的的”、“这话不对这话不对”、“不不”等。否定联结词可以放等。否定联结词可以放在句首、句尾,也可以放在句中。例如:在句首、句尾,也可以放在句中。例如:微生物并不都微小。微生物并不都微小。“所有的天鹅都是白色的所有的天鹅都是白色的”这个说法是不对的。这个说法是不对的。例例中的否定联结词中的否定联结词

4、“不不”放在支判断的主项(放在支判断的主项(“微生物微生物”)之)之后,既否定量项后,既否定量项“都都”,又否定联项,又否定联项“是是”。例例的否定联结词放在句尾,是对支判断的否定联结词放在句尾,是对支判断“所有的天鹅都是白色所有的天鹅都是白色的的”的否定。的否定。2021/3/25授课:XXX4n(三)逻辑形式n负判断选取“并非”这一语词作为否定联结词的代表,并用符号“”表示。这样,负判断的逻辑形式可表示为:p n 上式中的“p”表示支判断,支判断可以是简单判断,也可以是复合判断。“”读作“并非”。n(四)真值表n由于负判断是对整个支判断的否定,因而负判断与它的支判断之间是一种矛盾关系,即二

5、者既不能同真,也不能同假:当其支判断为真时,该负判断为假;当其支判断为假时,该负判断为真。负判断同它的支判断之间的这种真假关系,可用右面的“因为SO真,所以PA假”这一推理是否有效?为什么?真值表表示。2021/3/25授课:XXX5二、几种常见的负判断及其等值判断n(一)六种性质判断的负判断及其等值判断n(二)联言判断的负判断及其等值判断n(三)相容选言判断的负判断及其等值判断n(四)不相容选言判断的负判断及其等值判断n(五)充分条件假言判断的负判断及其等值判断n(六)必要条件假言判断的负判断及其等值判断n(七)充分必要条件假言判断的负判断及其等值判断n(八)负判断的负判断及其等值判断负判断

6、的负判断的逻辑形式是:p。2021/3/25授课:XXX6n全称肯定判断的负判断的逻辑形式是:SAP。n 由于SAP的矛盾判断是SOP,所以,SAP SOP。就是说,全称肯定判断的负判断的等值判断是一个同素材的特称否定判断。例如,判断“并非所有的科学家都是天生聪明的”等值于判断“有的科学家不是天生聪明的”。n 全称否定判断的负判断的逻辑形式是:SEP。n由于SEP的矛盾判断是SIP,所以,SEPSIP。就是说,全称否定判断的负判断的等值判断是一个同素材的特称肯定判断。例如,判断“并非所有作品都不是杰作”等值于判断“有的作品是杰作”。n特称肯定判断的负判断的逻辑形式是:SIP。n 由于SIP的矛

7、盾判断是SEP,所以SIPSEP。就是说,特称肯定判断的负判断的等值判断是一个同素材的全称否定判断。例如,判断“并非有的人是长生不老的”等值于判断“所有的人都不是长生不老的”。n 特称否定判断的负判断的逻辑形式是:SOP。n 由于SOP的矛盾判断是SAP,所以,SOPSAP。就是说,特称否定判断的负判断的等值判断是一个同素材的全称肯定判断。例如,判断“并非有的结果不是有原因的”等值于判断“所有的结果都是有原因的”。n 单称肯定判断的负判断的逻辑形式是:SaP。n由于SaP的矛盾判断是SeP,所以SaPSeP。就是说,单称肯定判断的负判断的等值判断是一个同素材的单称否定判断。例如,判断“并非小李

8、是北京人”等值于判断“小李不是北京人”。n单称否定判断的负判断的逻辑形式是:SeP。n 由于SeP的矛盾判断是SaP,所以SePSaP。就是说,单称否定判断的负判断的等值判断是一个同素材的单称肯定判断。例如,判断“并非克林顿总统不是受到弹劾的”等值于判断“克林顿总统是受到弹劾的”。返回2021/3/25授课:XXX7n联言判断的负判断的逻辑形式是:(联言判断的负判断的逻辑形式是:(pq)。)。n由于联言判断由于联言判断pq的矛盾判断是相容选言判断的矛盾判断是相容选言判断pq(因为联言判断的真值表已经显示:当且(因为联言判断的真值表已经显示:当且仅当仅当p假,或假,或q假,或假,或p和和q 都假

9、,则都假,则pq必假),必假),所以,(所以,(pq)pq。就是说,联言。就是说,联言判断的负判断的等值判断是一个相应的其选言支判断的负判断的等值判断是一个相应的其选言支均被否定的相容选言判断。例如,判断均被否定的相容选言判断。例如,判断“并非王并非王刚既学习好,又思想好,身体好刚既学习好,又思想好,身体好”,等值于判断,等值于判断“王刚或者学习不好,或者思想不好,或者身体王刚或者学习不好,或者思想不好,或者身体不好不好”。返回2021/3/25授课:XXX8n相容选言判断的负判断的逻辑形式是:n(pq)。n由于相容选言判断pq的矛盾判断是联言判断pq(因为相容选言判断的真值表已经显示:当且仅

10、当p和q同假,则pq假),所以,(pq)pq。就是说,相容选言判断的负判断的等值判断是一个相应的其联言支均被否定的联言判断。例如,判断“并非张三或者是党员,或者是团员”等值于判断“张三既不是党员,也不是团员”。返回2021/3/25授课:XXX9n不相容选言判断的负判断的逻辑形式是:(pq)。n由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)(pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”

11、,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。n注意:(pq)(pq)返回2021/3/25授课:XXX10n不相容选言判断的负判断的逻辑形式是:(pq)。n由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)(pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。n注意:(pq)(pq)返回2021

12、/3/25授课:XXX11n不相容选言判断的负判断的逻辑形式是:(pq)。n由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)(pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。n注意:(pq)(pq)返回2021/3/25授课:XXX12n充分条件假言判断的负判断的逻辑形式是:n(pq)。n由于充分条件假言判断pq的矛盾

13、判断是联言判断pq(因为充分条件假言判断的真值表已经显示:当且仅当p真而q 假,则pq假),所以,(pq)pq。就是说,充分条件假言判断的负判断的等值判断是一个相应的联言判断。例如,判断“并不是有了复读机,就能学好外语”,等值于判断“有了复读机,但没能学好外语”。返回2021/3/25授课:XXX13n不相容选言判断的负判断的逻辑形式是:(pq)。n由于不相容选言判断pq的矛盾判断是多重复合选言判断(pq)(pq)(因为不相容选言判断的真值表已经显示:当且仅当p和q同真或同假,则pq假),所以,(pq)(pq)(pq)。就是说,不相容选言判断的负判断的等值判断是一个相应的多重复合相容选言判断。

14、例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功和钱明都考上研究生,或者陈功和钱明都考不上研究生”。n注意:(pq)(pq)返回2021/3/25授课:XXX14n必要条件假言判断的负判断的逻辑形式是:n(pq)。n由于必要条件假言判断pq的矛盾判断是联言判断pq(因为必要条件假言判断的真值表已经显示:当且仅当p假而q 真,则pq假),所以,(pq)pq。就是说,必要条件假言判断的负判断的等值判断是一个相应的联言判断。例如,判断“并非只有骄傲自满才会落后”,等值于判断“没有骄傲自满,但落后了”。返回2021/3/25授课:XXX15n充分必要条件假言判断的负判断的

15、逻辑形式是:n(pq)。n由于充分必要条件假言判断pq的矛盾判断是多重复合选言判断(pq)(pq)(因为充分必要条件假言判断的真值表已经显示:当且仅当p真而q假或p假而q真,则pq假),所以,(pq)(pq)(pq)。就是说,充分必要条件假言判断的负判断的等值判断是一个相应的多重复合相容选言判断。例如,判断“并非当且仅当得了阑尾炎才肚疼”,等值于判断“或者得了阑尾炎但没肚疼,或者没有得阑尾炎但肚疼了”。n充分必要条件假言判断的负判断的等值判断,还可以通过推导得出。n(pq)(pq)(pq)n(pq)(pq)(pq)n(pq)(pq)n(pq)(pq)返回2021/3/25授课:XXX16n由于

16、负判断p的矛盾判断是p(因为负判断的真值表已经显示:当且仅当p真,则p假),所以,pp。就是说,负判断的负判断的等值判断是一个初始原判断(支判断)。例如,判断“并非并非有的物体不是固体”,等值于判断“有的物体不是固体”。返回2021/3/25授课:XXX17第二节 负判断推理n一、什么是负判断推理n负判断推理就是根据负判断和它的等值判断之间的逻辑关系所进行的推理。其特点是,前提是一个负判断(或负判断的负判断),结论是该负判断(或该负判断的负判断)的等值判断。例如:n并不是所有水生动物都是鱼;所以,有的水生动物不是鱼。n并非只要迁就别人,就一定不得罪别人;所以,迁就别人,但不一定不得罪别人。n例

17、的前提是一个全称肯定判断的负判断,其逻辑形式为SAP,结论是这个负判断的等值判断,其逻辑形式为SOP;例的前提是一个充分条件假言判断的负判断,其逻辑形式为n(pq),结论是这个负判断的等值判断,其逻辑形式为pq。显然,这两个推理都是依据判断间的等值关系而进行的。n例的推理形式是:SAPSOP n例的推理形式是:(pq)pq n因此,负判断推理是一种直接推理,也是一种必然性推理。返回2021/3/25授课:XXX18二、负判断推理的有效推理式 n本章第一节介绍了几种常见的负判断及其等值判断。据此,我们可以得到以下13个有效的负判断推理式:nSAPSOPnSEPSIPnSIPSEPnSOPSAPn

18、SaPSeP nSePSap n(pq)pq n(pq)pq n(pq)(pq)(pq)n10(pq)pq n11(pq)pq n12(pq)(pq)(pq)n13pp n上述各推理式的实例,可分别参见本章第一节中“几种常见的负判断及其等值判断”部分的相关例子。此外,读者应再自举各式实例。如前所述,在其逻辑形式上,某个负判断的“直接等值判断”是一个,而“间接等值判断”可能有很多个。所以,上述13个有效的负判断推理式,仅仅是从“直接等值”的角度考察而得到的。2021/3/25授课:XXX19第三节 真值表的作用n一、用真值表判定任意一个多重复合判断的逻辑形式是否为永真式,从而判定一个复合判断推理

19、的推理形式是否有效n二、用真值表可判定任意两个复合判断是否等值、是否矛盾等n三、用真值表解答一些比较复杂的逻辑问题2021/3/25授课:XXX20n一、用真值表判定任意一个多重复合判断的逻辑形式是否为永真式,从而判定一个复合判断推理的推理形式是否有效n(一)真值形式的含义n(二)真值形式的分类n真值形式的分类:永真式(重言式)、永假式(矛盾式)和适真式。n所谓“永真式”,就是说,不论其所含的判断变项取值为真或为假,该复合判断的逻辑形式总是取值为真。判定一个多重复合判断的逻辑形式是否为永真式的步骤是:先按字母表次序(即p、q、r)排列判断变项,且列出其可能的各种真假组合情况;再依据某些基本真值

20、表构建出该多重复合判断逻辑形式的真值表,构建时按照后一列的真值要依据前列真值的原则(往往表现为由简单到复杂)由左向右排列;然后是判定,如果该多重复合判断逻辑形式真值表的最后一列的值均为真,则该多重复合判断的逻辑形式就是永真式,否则,就不是永真式。返回2021/3/25授课:XXX21n二、用真值表可判定任意两个复合判断是否等值、是否矛盾等n(一)任意两个同素材的复合判断之间所具有的逻辑关系n任意两个同素材的复合判断之间所具有的逻辑关系不外是等值、矛盾反对、下反对、蕴涵、逆蕴涵六种。n所谓“两个判断等值”,就是说,两个有着共同变项的判断,不论其判断变项取值真或假,这两个判断的值总是相等的,即一个

21、真时,另一个必真;一个假时,另一个必假。所谓“两个判断矛盾”,就是说,两个有着共同变项的判断,不论其判断变项取值真或假,这两个判断的值总是相矛盾的,即一个真时,另一个必假;一个假时,另一个必真。返回2021/3/25授课:XXX22n三、用真值表解答一些比较复杂的逻辑问题n例一 某县委书记想在经党代会选出的两位同志(张三、李四)中挑选一人担任某乡党委书记。他征求了县委其他三位领导甲、乙、丙的意见。甲说:“如果不让张三担任,那么也不能让李四担任”;乙说“如果不让张三担任,就让李四担任”;丙说:“要么让张三担任,要么让李四担任。”问:该县委书记能否找到一种选择,使甲、乙、丙三人的意见都得到满足?返

22、回2021/3/25授课:XXX23n 解:本题所问实际上是,是否能找到一种任命方案使甲、乙、解:本题所问实际上是,是否能找到一种任命方案使甲、乙、丙的话均为真。丙的话均为真。n设设“张三担任张三担任”为为p,“李四担任李四担任”为为q,则:,则:n甲:甲:pq 乙:乙:pq 丙:丙:pq n 列真值表如下:列真值表如下:pqpqpq(甲)pq(乙)pq(丙)T T F F T T F T F F T T T T F T T F F T T F F T T T F F.返回2021/3/25授课:XXX24n上表中的第5、第6、第7三列分别表示甲、乙、丙的三句话,第1、第2两列则表示任命的四种方案。在每一种方案下,甲、乙、丙的三句话真假情况都反映在表中。显然,上表的第2行(即第二种方案)能满足甲、乙、丙的话均真的要求。这时,p真而q假,即“张三担任”为真,“李四担任”为假。n结论:该县委书记能找到一种选择,使甲、乙、丙三人的意见都得到满足。此选择是,让张三担任某乡党委书记。返回2021/3/2525Thank you!

展开阅读全文
温馨提示:
1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
2: 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
3.本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服 - 联系我们

copyright@ 2023-2025  zhuangpeitu.com 装配图网版权所有   联系电话:18123376007

备案号:ICP2024067431-1 川公网安备51140202000466号


本站为文档C2C交易模式,即用户上传的文档直接被用户下载,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有。装配图网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私,请立即通知装配图网,我们立即给予删除!