勵志

勵志人生知識庫

德摩根定律

德摩根定律命題邏輯和邏輯代數中是關於命題邏輯規律的一對法則,由奧古斯都·德·摩根首先發現。德摩根定律主要包括以下兩個公式:

非(P 且 Q) = (非 P) 或 (非 Q)

非(P 或 Q) = (非 P) 且 (非 Q)

這兩個公式描述了命題邏輯中的否定與邏輯運算符「與」和「或」之間的關係,也被稱為對偶定律反演律。德摩根定律在數理邏輯的定理推演、計算機的邏輯設計以及數學的集合運算中都起著重要的作用。此外,德摩根定律還可以擴展到邏輯量詞上,例如全稱量詞存在量詞互為對偶。

需要注意的是,雖然德摩根定律在中世紀就已經被注意到,但奧古斯都·德·摩根重新發現了這一規律,並對其進行了系統的研究和闡述,因此該定律以他的名字命名。