负命题
书籍:逻辑百科辞典
常称负判断。由命题联结词“并非”联结一个支命题所构成的命题。形式为“并非p”。“并非p”的真假与p恰好相反。亚里士多德已经研究了“并非”这个联结词。在现代逻辑里,否定不是主谓项之间的关系,而都是命题的否定。“并非”有以下几点基本性质:
并非不p,等值于,p。(双重否定律)
并非(p并且q),等值于,不p或者不q。(德·摩根律)
并非(p或者q),等值于,不p并且不q。(德·摩根律)
并非(如果P则q),等值于,p并且不q。
并非(p当且仅当q),等值于,要么p要么q。
并非SAP,等值于,SOP。
并非SEP,等值于,SIP。
并非SIP,等值于,SEP。
并非SOP,等值于,SAP。