德扎根定律一种常见的负复合判断方法.docxVIP

德扎根定律一种常见的负复合判断方法 比较简单评价的等效性判断的能力可以很容易理解，它可以基于对当关系开始，并易于掌握。而负复合判断的等值判断,则较为复杂,运用中也较易发生错误。根据现有的普通逻辑教材中的理论和方法:只给出一些常见的负复合判断的等值式,而没有给定它的推演规则,仅靠举例说明,故不能有效地推出它们的等值判断,教师不易讲清,学生也很难学懂。况且,前提一变,原等值式就没用了。 例如:“并非(P并且q)”等值于“非P或非q”。这是负联言判断的等值式。若前提一变,则原等值式就没用了。 如:“并非马儿跑并且马儿不吃草”等值于“如果马儿跑,那么,马儿要吃草”。 即:“并非(P并且非q)”等值于“如果P,那么q”。若前提再变,则又有新的等值式。 客观事物千变万化并且种类繁多,反映客观事物的负判断也是多种多样的,其等值式也就有无穷多个。人们怎能记得住那么多的等值式呢?本文试将德摩根定律导入各种负复合判断中,以期有效地、准确无误地推出其等值判断。教学实践证明:这种方法是可行的。 一、 否定的统一 德摩根定律是命题逻辑中的重要重言等值式。它包括两个定理: (一)、合取否定式的德摩根定律,逻辑表达式为:。读作:“并非(P并且q)”是“非P或非q”。其意思是命题P与q合取的否定等值于命题P的否定与q的否定的析取。(《逻辑学辞典》,吉林出版869—870页) 合取否定式的德摩根定律:“”,这个等值定理是由以下两个定理构成的:(1)定理。 (2)定理。它是(1)的逆定理(王宪钧《数理逻辑引论》北大版,第50页) (二)、析取否定式的德摩根定律,逻辑表达式为:。读作:“并非(P或q)”是“非P并且非q”。其意思是命题P与q的析取的否定等值于命题P的否定与q的否定的合取。(《逻辑学辞典》,吉林版870页) 析取否定式的德摩根定律:“”,这个等值定理是由以下两个定理所构成的: (1)定理, (2)定理,它是定理(1)的逆定理。(王宪钧《数理逻辑引论》,北大版第57页) 二、 负充分条件假言判断的等价式 (一)、负联言判断的等值判断 例①“并非甲既说错了,乙又听错了”等值于“或者甲没说错,或者乙没听错”。这是负联言判断的等值判断。它的等值式是: 1、审清负复合判断的类型、结构并准确地写出它的逻辑表达式;例如,“并非甲既说错了,乙又听错了”的逻辑表达式是:; 2、将否定符“”逐步移至括号内的各肢判断之前,并将合取号“∧”换以析取号“ ∨”;如,。“并非甲既说错了,乙又听错了”推出“或者甲没说错,或者乙没听错”。 3、销去双否。 例②,“并非某人的学习既不努力,又不认真”等值于“某人的学习或努力,或认真”。 推演过程:,(销去双否)。 例③,“并非马儿跑而马儿不吃草”等值于“如果马儿跑,那么,马儿要吃草”。 推演过程: 例④,“并非方法对并且坚持不懈地努力而仍不能有所成就”等值于“如果方法对并且坚持不懈地努力,那么,就一定有所成就”。 推演过程: (二)、负选言判断的等值判断 “并非或者鱼死,或者网破”等值于“鱼既没死,网又没破”。这是负选言判断的等值判断。它的等值式是:“”。 1、准确地写出它的逻辑表达式; 2、将否定符“”逐步内移,并将析取号“∨”换以合取号“∧”; 3、销去双否。 例如:“并非某人的学习或不努力,或不认真”等值于“某人的学习既努力,又认真”。 推演过程: 再如:“并非小李或会英语,或不会日语”等值于“小李不会英语,但会日语”。 推演过程: 用真值表可以判明“”等值于“”。否定选言得联言。(真值表略) (三)、负充分条件假言判断的等值判断 例①,“并非如果受灾,那么,就要减产”等值于“受灾而不减产”。这是负充分条件假言判断的等值判断。它的等值式是:“”。 1、准确地写出它的逻辑表达式; 2、销去蕴涵符“→”,即把“P→q”换以“”(根据定义);(王宪钧《数理逻辑引论》,北大版第38页) 3、将否定符“”逐步内移,并将析取号“∨”换以合取号“∧”; 4、销去双否。 例②,“并非如果努力学习,就能取得优异成绩”等值于“努力学习,也许不能取得优异成绩”。 例③,“并非如果金属受热,则金属不膨胀”等值于“金属受热而金属膨胀”。 例④,“并非如果没有减少原材料消耗,那么,就不能降低生产成本”等值于“没有减少原材料消耗但仍能降低生产成本”。 (四)、负必要条件假言判断的等值判断 “并非只有科技人员,才能为四化做出贡献”等值于“不是科技人员,也能为四化做出贡献”。这是负必要条件假言判断的等值判断。它的等值式是:“”。 1、准确地写出它的逻辑表达式; 2、销去逆蕴涵符“←”,即把“P←q”换以“”。一般普通逻辑教材中多用“P←q”来表示:“只有P,才q”。“←”表示逆蕴涵关系,故,“P←q”可以写成“q→P”,经假言易位可得“”。故现代数理逻辑用“”