德·摩根定律是關於命題邏輯規律的一對法則。德·摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。 德摩根定律是形式邏輯中有關否定所描述的系統方式中的邏輯運算子對偶對的一系列法則。由此引出的關係也就被稱為“德摩根二重性”。
這一定律的發現影響了喬治·布林從事的邏輯問題代數解法的研究,同時鞏固德摩根作為該規律發現者的地位。
德·摩根定律是關於命題邏輯規律的一對法則。德·摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。 德摩根定律是形式邏輯中有關否定所描述的系統方式中的邏輯運算子對偶對的一系列法則。由此引出的關係也就被稱為“德摩根二重性”。
這一定律的發現影響了喬治·布林從事的邏輯問題代數解法的研究,同時鞏固德摩根作為該規律發現者的地位。
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,從這個條件推出的結論中如果出現矛盾,則可以斷定此條件為假,反之則為真。
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,從這個條件推出的結論中如果出現矛盾,則可以斷定此條件為假,反之則為真。