Augustus De Morgan (27 tháng 6 năm 1806 - 18 tháng 3 năm 1871) là một nhà toán học và logic học người Anh. Ông đã xây dựng các luật De Morgan và đưa ra thuật ngữ quy nạp toán học, khiến cho ý tưởng chứng minh bằng cách dùng nó trở nên phong phú hơn.[1]