第四章复合判断及其推理-负判断及推理式判定
- 格式:ppt
- 大小:1.30 MB
- 文档页数:24


形式逻辑第四章第五节负判断第四节负判断一、什么是负判断1.含义:负判断是否定某个判断的判断。
例如:①并不是所有的鸟都会飞。
②并非一个人有病就发烧。
负判断由支判断和联结项(否定联结词)两部分构成。
负判断的支判断称为原判断,支判断可以是个简单判断,如例①;也可以是个复合判断。
2.负判断的逻辑形式可表示为:并非P其中“P”是支判断,“并非”是联结项。
“并非”也可以用符号“-”或“¬”来表示。
这样,负判断的符号式就是:ˉP 或¬P3.真假情况:负判断是特殊的复合判断。
首先,它不象其他复合判断具有两个以上的支判断,而只有一个支判断。
其次,它的联结项是一个表示否定的逻辑概念,整个判断是对原判断的否定。
所以,它与原判断之间是矛盾关系。
原判断真,负判断就假;原判断假,负判断就真。
二、负判断的种类及其等值判断负判断分为简单判断的负判断和复合判断的负判断。
1.简单判断的负判断及其等值判断简单判断的负判断(负简单判断)是指支判断为简单判断的负判断。
(1)单称判断的负判断及其等值判断并非某个S是P ↔某个S不是P并非某个S不是P ↔某个S是P(2)全称判断的负判断及其等值判断并非所有S是P ↔有S不是P并非所有S不是P ↔有S是P¬SAP↔SOP¬SEP↔SIP(3)特称判断的负判断及其等值判断并非有S是P ↔所有S都不是P并非有S 不是P ↔ 所有S 都是P¬SIP ↔ SEP¬SOP ↔ SAP2.复合判断的负判断及其等值判断(1)联言判断的负判断(负联言判断)及其等值判断负联言判断就是断定一个联言判断是假的。
而断定联言判断假就是断定它的联言支至少有一个是假的。
所以,负联言判断等值于一个相容选言判断。
用公式表示即:“并非(P 并且q )”等值于“非P 或者非q ”或表示为: q P q P ∨↔∧(2)选言判断的负判断A.相容选言判断的负判断(负相容选言判断)及其等值判断负相容选言判断就是断定一个相容选言判断是假的。