负判断fupanduan

复合判断之一。否定某个判断的判断。如“并非一切物体都是导体”。“并非”是联结项；被否定的判断叫原判断，可用p表示。原判断可以是简单判断，也可以是复合判断。负判断的形式是“并非p”。现代逻辑表示为“⇁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