「ド・モルガンの法則」の版間の差分

'''ド・モルガンの法則'''（ド・モルガンのほうそく、{{Lang-en-short|De Morgan's laws}}）とは、[[数理論理学]]や[[集合論]]において、論理積（集合の積、共通部分）と論理和（集合の和、合併）、否定（補集合）の間に成り立つ関係を記述する定理である。名前は数学者[[オーガスタス・ド・モルガン]]（1806-1871）にちなむ。

この関係性は、真・偽を反転させ、論理和・論理積の定義を交換した論理体系が元の論理体系と同一視できることを指しているので、'''[[オーガスタス・ド・モルガン|ド・モルガン]]の[[双対性]]'''（{{Lang-en-short|de Morgan's Duality Law}}）とよばれることもある。