负判断及其推理
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
在自然语言中，负判断的否定联结词还可以用“不是……”、 “不能认为……”、“不能说……”、“没有……”、“……是假 的”、“……这话不对”、“……不……”等。否定联结词可以放 在句首、句尾，也可以放在句中。例如：
④微生物并不都微小。
⑤“所有的天鹅都是白色的”这个说法是不对的。
例④中的否定联结词“不”放在支判断的主项（“微生物”）之 后，既否定量项“都”，又否定联项“是”。
2021/3/9
返回 6
联言判断的负判断的逻辑形式是：￢（p∧q）。
由于联言判断p∧q的矛盾判断是相容选言判断 ￢p∨￢q（因为联言判断的真值表已经显示：当 且仅当p假，或q假，或p和q 都假，则p∧q必 假），所以，￢（p∧q）←→￢p∨￢q。就是说， 联言判断的负判断的等值判断是一个相应的其选 言支均被否定的相容选言判断。例如，判断“并 非王刚既学习好，又思想好，身体好”，等值于 判断“王刚或者学习不好，或者思想不好，或者 身体不好”。
的逻辑形式是：p。
2021/3/9
5
全称肯定判断的负判断的逻辑形式是：￢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。就是说，单称否定判断的 负判断的等值判断是一个同素材的单称肯定判断。例如，判断“并非克林顿总统 不是受到弹劾的”等值于判断“克林顿总统是受到弹劾的”。
2021/3/9
返回 7
相容选言判断的负判断的逻辑形式是：
￢（p∨q）。
由于相容选言判断p∨q的矛盾判断是联言判断 ￢p∧￢q（因为相容选言判断的真值表已经显示： 当且仅当p和q同假，则p∨q假），所以，￢ （p∨q）←→ ￢p∧￢q。就是说，相容选言判断 的负判断的等值判断是一个相应的其联言支均被 否定的联言判断。例如，判断“并非张三或者是 党员，或者是团员”等值于判断“张三既不是党 员，也不是团员”。
第九章 负判断及其推理；真值表的作用
第一节 负 判 断 第二节 负判断推理 第三节 真值表的作用
2021/3/9
1
第一节 负 判 断
一、什么是负判断 （一）含义 负判断就是否定某个判断的判断。例如： ①并非所有的外商都是怀有诚意的。 ②并非语言或是上层建筑，或是经济基础。 ③并不是小王既爱好文艺，又爱好体育。 这三个判断都是负判断。
显然，负判断与性质判断中的否定判断是不同的。负 判断是对整个判断的否定，而性质判断中的否定判断 则是对主项与谓项的联系的否定；负判断是一种形式 比较特殊的复合判断，它含有支判断，而性质判断中 的否定判断是简单判断，它不含支判断。
Biblioteka Baidu
2021/3/9
2
（二）构成
负判断由否定联结词和一个支判断组成。例①的否定联结词 是“并非”，支判断为“所有的外商都是怀有诚意的。”例③的 否定联结词是“并不是”，支判断为“小王既爱好文艺，又爱好 体育”。
（四）真值表
由于负判断是对整个支判断的否定，因而负判断与它 的支判断之间是一种矛盾关系，即二者既不能同真， 也不能同假：当其支判断为真时，该负判断为假；当 其支判断为假时，该负判断为真。负判断同它的支判 断之间的这种真假关系，可用右面的“因为SO真， 所以PA假”这一推理是否有效？为什么？真值表表示。
2021/3/9
4
二、几种常见的负判断及其等值判断
（一）六种性质判断的负判断及其等值判断 （二）联言判断的负判断及其等值判断 （三）相容选言判断的负判断及其等值判断 （四）不相容选言判断的负判断及其等值判断 （五）充分条件假言判断的负判断及其等值判断 （六）必要条件假言判断的负判断及其等值判断 （七）充分必要条件假言判断的负判断及其等值判断 （八）负判断的负判断及其等值判断负判断的负判断
2021/3/9
返回 8
不相容选言判断的负判断的逻辑形式是：￢（pq）。
由于不相容选言判断pq的矛盾判断是多重复合选言判 断（p∧q）∨（ ￢p∧￢q）（因为不相容选言判断的 真值表已经显示：当且仅当p和q同真或同假，则pq 假），所以，￢（pq）←→（p∧q）∨（￢p∧￢q）。 就是说，不相容选言判断的负判断的等值判断是一个 相应的多重复合相容选言判断。例如，判断“并非要 么陈功考上研究生，要么钱明考上研究生”，等值于 判断“或者陈功和钱明都考上研究生，或者陈功和钱 明都考不上研究生”。
例⑤的否定联结词放在句尾，是对支判断“所有的天鹅都是白色 的”的否定。
2021/3/9
3
（三）逻辑形式
负判断选取“并非”这一语词作为否定联结词的代表， 并用符号“﹁”表示。这样，负判断的逻辑形式可表 示为： ﹁p
上式中的“p”表示支判断，支判断可以是简单判断， 也可以是复合判断。“﹁”读作“并非”。
④微生物并不都微小。
⑤“所有的天鹅都是白色的”这个说法是不对的。
例④中的否定联结词“不”放在支判断的主项（“微生物”）之 后，既否定量项“都”，又否定联项“是”。
2021/3/9
返回 6
联言判断的负判断的逻辑形式是：￢（p∧q）。
由于联言判断p∧q的矛盾判断是相容选言判断 ￢p∨￢q（因为联言判断的真值表已经显示：当 且仅当p假，或q假，或p和q 都假，则p∧q必 假），所以，￢（p∧q）←→￢p∨￢q。就是说， 联言判断的负判断的等值判断是一个相应的其选 言支均被否定的相容选言判断。例如，判断“并 非王刚既学习好，又思想好，身体好”，等值于 判断“王刚或者学习不好，或者思想不好，或者 身体不好”。
的逻辑形式是：p。
2021/3/9
5
全称肯定判断的负判断的逻辑形式是：￢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。就是说，单称否定判断的 负判断的等值判断是一个同素材的单称肯定判断。例如，判断“并非克林顿总统 不是受到弹劾的”等值于判断“克林顿总统是受到弹劾的”。
2021/3/9
返回 7
相容选言判断的负判断的逻辑形式是：
￢（p∨q）。
由于相容选言判断p∨q的矛盾判断是联言判断 ￢p∧￢q（因为相容选言判断的真值表已经显示： 当且仅当p和q同假，则p∨q假），所以，￢ （p∨q）←→ ￢p∧￢q。就是说，相容选言判断 的负判断的等值判断是一个相应的其联言支均被 否定的联言判断。例如，判断“并非张三或者是 党员，或者是团员”等值于判断“张三既不是党 员，也不是团员”。
第九章 负判断及其推理；真值表的作用
第一节 负 判 断 第二节 负判断推理 第三节 真值表的作用
2021/3/9
1
第一节 负 判 断
一、什么是负判断 （一）含义 负判断就是否定某个判断的判断。例如： ①并非所有的外商都是怀有诚意的。 ②并非语言或是上层建筑，或是经济基础。 ③并不是小王既爱好文艺，又爱好体育。 这三个判断都是负判断。
显然，负判断与性质判断中的否定判断是不同的。负 判断是对整个判断的否定，而性质判断中的否定判断 则是对主项与谓项的联系的否定；负判断是一种形式 比较特殊的复合判断，它含有支判断，而性质判断中 的否定判断是简单判断，它不含支判断。
Biblioteka Baidu
2021/3/9
2
（二）构成
负判断由否定联结词和一个支判断组成。例①的否定联结词 是“并非”，支判断为“所有的外商都是怀有诚意的。”例③的 否定联结词是“并不是”，支判断为“小王既爱好文艺，又爱好 体育”。
（四）真值表
由于负判断是对整个支判断的否定，因而负判断与它 的支判断之间是一种矛盾关系，即二者既不能同真， 也不能同假：当其支判断为真时，该负判断为假；当 其支判断为假时，该负判断为真。负判断同它的支判 断之间的这种真假关系，可用右面的“因为SO真， 所以PA假”这一推理是否有效？为什么？真值表表示。
2021/3/9
4
二、几种常见的负判断及其等值判断
（一）六种性质判断的负判断及其等值判断 （二）联言判断的负判断及其等值判断 （三）相容选言判断的负判断及其等值判断 （四）不相容选言判断的负判断及其等值判断 （五）充分条件假言判断的负判断及其等值判断 （六）必要条件假言判断的负判断及其等值判断 （七）充分必要条件假言判断的负判断及其等值判断 （八）负判断的负判断及其等值判断负判断的负判断
2021/3/9
返回 8
不相容选言判断的负判断的逻辑形式是：￢（pq）。
由于不相容选言判断pq的矛盾判断是多重复合选言判 断（p∧q）∨（ ￢p∧￢q）（因为不相容选言判断的 真值表已经显示：当且仅当p和q同真或同假，则pq 假），所以，￢（pq）←→（p∧q）∨（￢p∧￢q）。 就是说，不相容选言判断的负判断的等值判断是一个 相应的多重复合相容选言判断。例如，判断“并非要 么陈功考上研究生，要么钱明考上研究生”，等值于 判断“或者陈功和钱明都考上研究生，或者陈功和钱 明都考不上研究生”。
例⑤的否定联结词放在句尾，是对支判断“所有的天鹅都是白色 的”的否定。
2021/3/9
3
（三）逻辑形式
负判断选取“并非”这一语词作为否定联结词的代表， 并用符号“﹁”表示。这样，负判断的逻辑形式可表 示为： ﹁p
上式中的“p”表示支判断，支判断可以是简单判断， 也可以是复合判断。“﹁”读作“并非”。