当前位置:首页 > 经典书库 > 逻辑百科辞典

负命题

常称负判断。由命题联结词“并非”联结一个支命题所构成的命题。形式为“并非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。

上一篇:槪率 下一篇:符号学
分享到: