《辞海》第7版：
【德·摩根(Augustus De Morgan，1806—1871)】英国数学家、逻辑学家。剑桥大学毕业。伦敦大学教授。英国皇家学会会员，伦敦数学会首任会长。现代关系逻辑的开拓者。研究了关系的种类、性质，关系的关系，关系的变换等，并首次将关系以及关系的关系符号化。其关系命题和关系推理的理论，突破了古典主谓词逻辑的局限性，对后来逻辑代数和数理逻辑的发展有一定影响。提出了后来被称作“德·摩根定律”的逻辑代数和命题逻辑的定理；引入了“数学归纳法”这个术语，并使该方法更加严格。主要著作有《形式逻辑》。他的《代数学》于1859年译成中文，是中国第一本代数学著作。
【形式逻辑】书名。英国德·摩根著。1847年出版。该书用代数方法进行逻辑演算，论述了关系逻辑的许多重要问题，并提出德·摩根定律，对传统逻辑的改造和数理逻辑的发展有一定影响。
