德摩根，A.
正文
19世紀英國數學家、邏輯學家。生於印度，出生後剛 7個月就回到英國。卒於倫敦。他在少年時代就對數學發生濃厚的興趣,1823年考入劍橋大學三一學院,1827年畢業。1828年後在倫敦的大學學院任數學教授多年。他曾任倫敦數學學會第一屆會長。德摩根對19世紀數學的發展作出了貢獻。他於1838年提出以“數學歸納法”的概念描述以往數學家們曾經使用的證明定理的方法。1842年，他發表了《微積分演算》一文，詳盡討論微積分基本原理和極限定義，並討論了無窮序列及確定序列收斂的新規則。他曾從事當時稱為“形式代數”的研究，其成果有助於對複數的性質給出一個完全的幾何解釋。
德摩根的主要成就在邏輯方面,主要邏輯著作是《形式邏輯》（1847）。他在邏輯史上首先提出“論域”的概念，第一次明確用公式表達合取和析取的關係，現代邏輯稱之為德摩根律。他還最先提出了關於“大多數”的推理,例如,“在特定的一群人中,大多數人有大衣,大多數人有馬甲,所以有的人既有大衣又有馬甲”,等等。他對邏輯的最主要貢獻在於開拓了形式邏輯的新領域，建立了關係邏輯，有的學者稱他為“關係邏輯之父”。他對關係的種類和性質作了研究，並使用了一些他自己所創造的符號。 例如,用“X‥LY”表示“X和 Y有關係L”,“Y‥MZ”表示“Y和 Z有關係M”，“X‥LMZ”表示“X和有些Y有關係L,而這些Y又和Z有關係M”（這裡的LM現稱為關係積）,“L-1”表示L的逆關係。德摩根提出了一些重要的關係邏輯規律，例如：①逆關係的矛盾關係是逆關係，即非 -L和非-L-1是逆關係；②矛盾關係的逆關係是矛盾關係，即 L和(非-L)-1是矛盾關係；③逆關係的矛盾關係是矛盾關係的逆關係,即非-L-1是（非-L）-1；④傳遞的關係有傳遞的逆關係，但不必然有傳遞的矛盾關係。德摩根還提出了一些推理形式，如從X‥LY和Y‥MZ可得X‥LMZ等。
