负判断及其推理第一节负判断(二)构成负判断由否定联结词与一个支判断组成。例①得否定联结词就是“并非”,支判断为“所有得外商都就是怀有诚意得。”例③得否定联结词就是“并不就是”,支判断为“小王既爱好文艺,又爱好体育”。在自然语言中,负判断得否定联结词还可以用“不就是……”、“不能认为……”、“不能说……”、“没有……”、“……就是假得”、“……这话不对”、“……不……”等。否定联结词可以放在句首、句尾,也可以放在句中。例如:④微生物并不都微小。⑤“所有得天鹅都就是白色得”这个说法就是不对得。例④中得否定联结词“不”放在支判断得主项(“微生物”)之后,既否定量项“都”,又否定联项“就是”。例⑤得否定联结词放在句尾,就是对支判断“所有得天鹅都就是白色得”得否定。(三)逻辑形式负判断选取“并非”这一语词作为否定联结词得代表,并用符号“﹁”表示。这样,负判断得逻辑形式可表示为:﹁p上式中得“p”表示支判断,支判断可以就是简单判断,也可以就是复合判断。“﹁”读作“并非”。(四)真值表由于负判断就是对整个支判断得否定,因而负判断与它得支判断之间就是一种矛盾关系,即二者既不能同真,也不能同假:当其支判断为真时,该负判断为假;当其支判断为假时,该负判断为真。负判断同它得支判断之间得这种真假关系,可用右面得“因为SO真,所以PA假”这一推理就是否有效？为什么？真值表表示。二、几种常见得负判断及其等值判断全称肯定判断得负判断得逻辑形式就是:￢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。就就是说,联言判断得负判断得等值判断就是一个相应得其选言支均被否定得相容选言判断。例如,判断“并非王刚既学习好,又思想好,身体好”,等值于判断“王刚或者学习不好,或者思想不好,或者身体不好”。相容选言判断得负判断得逻辑形式就是:￢(p∨q)。由于相容选言判断p∨q得矛盾判断就是联言判断￢p∧￢q(因为相容选言判断得真值表已经显示:当且仅当p与q同假,则p∨q假),所以,￢(p∨q)←→￢p∧￢q。就就是说,相容选言判断得负判断得等值判断就是一个相应得其联言支均被否定得联言判断。例如,判断“并非张三或者就是党员,或者就是团员”等值于判断“张三既不就是党员,也不就是团员”。不相容选言判断得负判断得逻辑形式就是:￢(pq)。由于不相容选言判断pq得矛盾判断就是多重复合选言判断(p∧q)∨(￢p∧￢q)(因为不相容选言判断得真值表已经显示:当且仅当p与q同真或同假,则pq假),所以,￢(pq)←→(p∧q)∨(￢p∧￢q)。就就是说,不相容选言判断得负判断得等值判断就是一个相应得多重复合相容选言判断。例如,判断“并非要么陈功考上研究生,要么钱明考上研究生”,等值于判断“或者陈功与钱明都考上研究生,或者陈功与钱明都考不上