负判断
不俱当①,必或不当。(《经说上》)
【注释】 ①当:正确。
【译文】 并非全部都正确,就一定有不正确的。
【评说】 “不俱当”(并非所有的都是正确的)是对“俱当”(所有的都是正确的)的否定。在逻辑学中,前者叫做后者的“负判断”。这个负判断与“或不当”(有的不是正确的),意思是完全一样的。例如我们说“并非所有的花都是香的”,就等于说“有的花不是香的”。
负判断
负判断
否定某个判断的 一种复合判断。如:“并非所有错误都是可以避免的”。负判断由肢判断和否定联结词组成。肢判断是被否定的判断,它可以是简单判断,也可以是复合判断,用P表示。否定联结词是表示否定的概念,如“并非”、“并不是”、“是假的”、“是不成立的”等。负判断的形式结构为:“并非P”。负判断与否定判断不同。( 一)否定判断直接断定思维对象本身; 负判断直接断定关于思维对象情况的判断,间接地断定与原判断内容相矛盾的对象情况。(二)否定判断对思维对象的断定只包括否定意义,总是说对象不具有某种性质; 负判断对思维对象间接的断定包括肯定和否定两种意义,即否定一个肯定判断的负判断,其内容是否定的,否定一个否定判断的负判断,其内容是肯定的。(三)否定判断由主项、谓项、联项、量项构成,属于简单判断; 负判断由肢判断和否定联结词构成,属于复合判断。根据其肢判断的种类不同,负判断主要有负性质判断和负复合判断。负判断的真值直接依赖其肢判断的真值,其逻辑性质为: 当肢判断真时,负判断假; 肢判断假时,负判断真,两者具有不可同真也不可同假的矛盾关系。负判断只直接否定了肢判断所断定的对象情况,但没有直接从肯定方面揭示与肢判断内容相矛盾的对象情况。但每一负判断,都有肯定形式的等值判断。一些主要负判断的等值判断如下:
1.并非所有S都是P 等值于有S不是P
2.并非所有S不是P 等值于 有S是P
3.并非有S是P 等值于所有S不是P
4.并非有S不是P 等值于所有S都是P
5.并非这个S是P 等值于这个S不是P
6.并非这个S不是P 等值于 这个S是P
7.并非(p并且q) 等值于非p或者非q
8.并非(p或者q) 等值于非p并且非q
9.并非(如果p,那么q)等值于 p并且非q
10.并非(当且仅当p,才q) 等值于 (p且非q)或者(非p且q)
11.并非(非p),等值于p
☚ 区别判断 模态判断 ☛
负判断
负判断fupanduan
复合判断之一。否定某个判断的判断。如“并非一切物体都是导体”。“并非”是联结项;被否定的判断叫原判断,可用p表示。原判断可以是简单判断,也可以是复合判断。负判断的形式是“并非p”。现代逻辑表示为“⇁p” (“⇁”读作“并非”),并称之为否定式。负判断的逻辑值与其原判断逻辑值之间不同真,也不同假,如下面真值表所示:
负判断与其原判断之间是矛盾关系。负判断与其原判断的矛盾判断之间具有等值关系。一个负判断至少有一个与其判断形式不同的等值判断。常见的负判断及其等值判断形式列表如下:
一具体例子是“并非如果起风就会下雨”,其等值判断是“虽起风了,但未下雨”。现代逻辑将该等值式表示为“(p→q)←→p∧q”。
| 原判断 | 负判断 | 负判断的等值判 断(原判断的矛盾 判断) |
| 某个S是P | 并非某个S是P | 某个S不是P |
| 某个S不是P | 并非某个S不 是P | 某个S是P |
| 所有S是P | 并非所有S是P | 有的S不是P |
| 所有S不是P | 并非所有S不 是P | 有的S是P |
| 有的S是P | 并非有的S是P | 所有S不是P |
| 有的S不是P | 并非有的S不 是P | 所有S是P |
| 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或者非 p并且q |