德摩根定理
在命題邏輯和邏輯代數中,德摩根定律(或稱德摩根定理)是關于命題邏輯規律的一對法則。奧古斯塔斯·德摩根首先發現了在命題邏輯中存在著下面這些關系:
非(P 且 Q)=(非 P)或(非 Q)
非(P 或 Q)=(非 P)且(非 Q)
德摩根定律在數理邏輯的定理推演中,在計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。他的發現影響了喬治·布爾從事的邏輯問題代數解法的研究,這鞏固了德摩根作為該規律的發現者的地位,盡管亞里士多德也曾注意到類似現象、且這也為古希臘與中世紀的邏輯學家熟知。
原創文章,作者:songzizhe,如若轉載,請注明出處:http://www.www58058.com/35888