オーガスタス・ド・モルガンとは？
おおがすたすどもるがん
19世紀イギリスの数学者・論理学者で、ド・モルガンの法則を定式化し記号論理学の発展に貢献しました。
1806年にインドで生まれ1871年にロンドンで没した数学者・論理学者です。「AかつBの否定はAの否定またはBの否定」「AまたはBの否定はAの否定かつBの否定」というド・モルガンの法則を論理学・集合論で定式化しました。数学的帰納法の厳密な定式化にも貢献し、数学と論理学の橋渡しを行った先駆者です。
使い方・例文
ド・モルガンの法則はプログラミングの条件式を変換するときに日常的に使われる。
この用語をシェア
最終更新: