什么是德摩根定理?

德摩根定律是属于逻辑学的定律.德摩根定律(或称德摩根定理)是形式逻辑中有关否定所描述的系统方式中的逻辑运算符对偶对的一系列法则.由此引出的关系也就被称为“德摩根二重性”.现在凭借我们的直觉想一下.假定当且仅当“现在正在下雨”时命题 P 成立,当且仅当“你穿着一件雨衣”时命题 Q 成立.若你从不在没有穿上雨衣的情况下出去淋雨,那就不可能证明P是真命题,而Q是假命题.因此,下面的式子就该是正确的：非(P 且(非 Q)) 从另一方面说,这层含义也可以用下面任意一句话表达：因为没有下雨,所以你不必在意是否穿着雨衣.因为你身穿一件雨衣,所以你不必在意是否在下雨.同样我们可以用以下符号表示这个含义：(非 P)或 Q 德摩根定律中的一条就向我们揭示了,这两者是相等的.参考资料