德摩根定律

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/07 11:27:07
德摩根定律

德摩根定律
德摩根定律

德摩根定律
德摩根定律是属于逻辑学的定律.德摩根定律(或称德摩根定理)是形式逻辑中有关否定所描述的系统方式中的逻辑运算符对偶对的一系列法则.由此引出的关系也就被称为“德摩根二重性”.通用叫法为“德摩根定律”发展历程与表达形式奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系:非(P 且 Q)=(非 P)或(非 Q)非(P 或 Q)=(非 P)且(非 Q)德·摩根的发现影响了乔治·布尔从事的逻辑问题代数解法的研究,这巩固了德·摩根作为该规律的发现者的地位.
形式逻辑中此定律表达形式:
\neg(P\wedge Q)=(\neg P)\vee(\neg Q)
\neg(P\vee Q)=(\neg P)\wedge(\neg Q)
在集合论中:
(A\cap B)^C=A^C\cup B^C
(A\cup B)^C=A^C\cap B^C.

通用叫法为“德摩根定律” 发展历程与表达形式 奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系: 非(P 且 Q)=(非 P)或(非 Q) 非(P