德摩根定律是關於命題邏輯規律的一對法則,奧古斯塔斯德摩根首先發現了在命題邏輯中存在著下面這些關係:非P且Q等於非P或非Q,非P或Q等於非P且非Q。
德摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。其發現影響了喬治布林從事的邏輯問題代數解法的研究,這鞏固德摩根作為該規律的發現者的地位,儘管亞里士多德也曾注意到類似現象,且這也為古希臘與中世紀的邏輯學家熟知。
德摩根定律是關於命題邏輯規律的一對法則,奧古斯塔斯德摩根首先發現了在命題邏輯中存在著下面這些關係:非P且Q等於非P或非Q,非P或Q等於非P且非Q。
德摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。其發現影響了喬治布林從事的邏輯問題代數解法的研究,這鞏固德摩根作為該規律的發現者的地位,儘管亞里士多德也曾注意到類似現象,且這也為古希臘與中世紀的邏輯學家熟知。
德·摩根定律是關於命題邏輯規律的一對法則。德·摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。 德摩根定律是形式邏輯中有關否定所描述的系統方式中的邏輯運算子對偶對的一系列法則。由此引出的關係也就被稱為“德摩根二重性”。
這一定律的發現影響了喬治·布林從事的邏輯問題代數解法的研究,同時鞏固德摩根作為該規律發現者的地位。
1、德摩根定律是屬於邏輯學的定律, 德摩根定律(或稱摩根定律)是形式邏輯中有關否定所描述的系統方式中的邏輯運算子對偶對的一系列法則,由此引出的關係也就被稱為“德摩根二重性”。所以公式是,非(P 且 Q)=(非 P)或(非 Q) ,非(P 或 Q)=(非 P)且(非 Q)。
2、摩根定律的實質即為拆添括號,在負號拿進拿出的過程中,還要注意∧與∨的變號。例如非(P 且 Q)=(非 P)或(非 Q) ,非(P 或 Q)=(非 P)且(非 Q)變化為,—(p∧q)=—p∨—q,—(p∨q)=—p∧—q,從這個條件推出的結論中如果出現矛盾,則可以斷定此條件為假,反之則為真。