负判断及其推理.pptVIP

第九章 负判断及其推理；真值表的作用 第一节 负 判 断 第二节 负判断推理 第三节 真值表的作用 第一节 负 判 断 一、什么是负判断 （一）含义 负判断就是否定某个判断的判断。例如： ①并非所有的外商都是怀有诚意的。 ②并非语言或是上层建筑，或是经济基础。 ③并不是小王既爱好文艺，又爱好体育。 这三个判断都是负判断。 显然，负判断与性质判断中的否定判断是不同的。负判断是对整个判断的否定，而性质判断中的否定判断则是对主项与谓项的联系的否定；负判断是一种形式比较特殊的复合判断，它含有支判断，而性质判断中的否定判断是简单判断，它不含支判断。 （二）构成 负判断由否定联结词和一个支判断组成。例①的否定联结词是“并非”，支判断为“所有的外商都是怀有诚意的。”例③的否定联结词是“并不是”，支判断为“小王既爱好文艺，又爱好体育”。 在自然语言中，负判断的否定联结词还可以用“不是……”、“不能认为……”、“不能说……”、“没有……”、“……是假的”、“……这话不对”、“……不……”等。否定联结词可以放在句首、句尾，也可以放在句中。例如： ④微生物并不都微小。 ⑤“所有的天鹅都是白色的”这个说法是不对的。 例④中的否定联结词“不”放在支判断的主项（“微生物”）之后，既否定量项“都”，又否定联项“是”。 例⑤的否定联结词放在句尾，是对支判断“所有的天鹅都是白色的”的否定。 （三）逻辑形式 负判断选取“并非”这一语词作为否定联结词的代表，并用符号“﹁”表示。这样，负判断的逻辑形式可表示为： ﹁p 上式中的“p”表示支判断，支判断可以是简单判断，也可以是复合判断。“﹁”读作“并非”。 （四）真值表 由于负判断是对整个支判断的否定，因而负判断与它的支判断之间是一种矛盾关系，即二者既不能同真，也不能同假：当其支判断为真时，该负判断为假；当其支判断为假时，该负判断为真。负判断同它的支判断之间的这种真假关系，可用右面的“因为SO真，所以PA假”这一推理是否有效？为什么？真值表表示。 二、几种常见的负判断及其等值判断 （一）六种性质判断的负判断及其等值判断 （二）联言判断的负判断及其等值判断 （三）相容选言判断的负判断及其等值判断 （四）不相容选言判断的负判断及其等值判断 （五）充分条件假言判断的负判断及其等值判断 （六）必要条件假言判断的负判断及其等值判断 （七）充分必要条件假言判断的负判断及其等值判断 （八）负判断的负判断及其等值判断负判断的负判断的逻辑形式是：p。 全称肯定判断的负判断的逻辑形式是：￢SAP。 由于SAP的矛盾判断是SOP，所以，￢SAP ←→SOP。就是说，全称肯定判断的负判断的等值判断是一个同素材的特称否定判断。例如，判断“并非所有的科学家都是天生聪明的”等值于判断“有的科学家不是天生聪明的”。 全称否定判断的负判断的逻辑形式是： ￢SEP。 由于SEP的矛盾判断是SIP，所以，￢SEP←→SIP。就是说，全称否定判断的负判断的等值判断是一个同素材的特称肯定判断。例如，判断“并非所有作品都不是杰作”等值于判断“有的作品是杰作”。 特称肯定判断的负判断的逻辑形式是：￢SIP。 由于SIP的矛盾判断是SEP，所以￢SIP←→SEP。就是说，特称肯定判断的负判断的等值判断是一个同素材的全称否定判断。例如，判断“并非有的人是长生不老的”等值于判断“所有的人都不是长生不老的”。 特称否定判断的负判断的逻辑形式是： ￢SOP。 由于SOP的矛盾判断是SAP，所以，￢SOP←→SAP。就是说，特称否定判断的负判断的等值判断是一个同素材的全称肯定判断。例如，判断“并非有的结果不是有原因的”等值于判断“所有的结果都是有原因的”。 单称肯定判断的负判断的逻辑形式是： ￢SaP。 由于SaP的矛盾判断是SeP，所以￢SaP←→SeP。就是说，单称肯定判断的负判断的等值判断是一个同素材的单称否定判断。例如，判断“并非小李是北京人”等值于判断“小李不是北京人”。 单称否定判断的负判断的逻辑形式是： ￢SeP。 由于SeP的矛盾判断是SaP，所以￢SeP←→SaP。就是说，单称否定判断的负判断的等值判断是一个同素材的单称肯定判断。例如，判断“并非克林顿总统不是受到弹劾的”等值于判断“克林顿总统是受到弹劾的”。 联言判断的负判断的逻辑形式是：￢（p∧q）。 由于联言判断p∧q的矛盾判断是相容选言判断￢p∨￢q（因为联言判断的真值表已经显示：当且仅当p假，或q假，或p和q 都假，则p∧q必假），所以，￢（p∧q）←→￢p∨￢q。就是说，联言判断的负判断的等值判断是一个相应的其选言支均被