Augustus De Morgan（1806 - 1871） イギリス人、オーガスタス・ド・モルガン。ド・モルガンの法則を命題論理の法則として厳密な形で表した人物。数学的帰納法の定式化にも貢献した。 ド・モルガンの法則 命題論理のド・モルガンの法則 述語論理のド・モルガ…