德摩根定律是關于命題邏輯規律的一對法則,奧古斯塔斯德摩根首先發現了在命題邏輯中存在着下面這些關系:非P且Q等于非P或非Q,非P或Q等于非P且非Q。
德摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起着重要的作用。其發現影響了喬治布爾從事的邏輯問題代數解法的研究,這鞏固德摩根作為該規律的發現者的地位,盡管亞裡士多德也曾注意到類似現象,且這也為古希臘與中世紀的邏輯學家熟知。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!