ド・モルガン
@01gr3203nzd520g5j6tkggns6e
ド・モルガンの法則とは、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性で、その規則性は元の論理体系と同一視できる、ということである。任意の命題 ????, ???? ∈ {⊥, ⊤}に対してあるいは任意の n 個の命題 ????1, ????2, ⋯, ???????? ∈ {⊥, ⊤}に対してが成り立つ。
@01gr3203nzd520g5j6tkggns6e
ド・モルガンの法則とは、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性で、その規則性は元の論理体系と同一視できる、ということである。任意の命題 ????, ???? ∈ {⊥, ⊤}に対してあるいは任意の n 個の命題 ????1, ????2, ⋯, ???????? ∈ {⊥, ⊤}に対してが成り立つ。