ド・モルガンの法則(ド・モルガンのほうそく、De Morgan's laws)は、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン(Augustus de Morgan, 1806–1871)にちなむ。 この規則性(論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」)は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性(英: De Morgan's duality)と呼ばれることもある。

Property Value
dbo:abstract
  • ド・モルガンの法則(ド・モルガンのほうそく、De Morgan's laws)は、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン(Augustus de Morgan, 1806–1871)にちなむ。 この規則性(論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」)は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性(英: De Morgan's duality)と呼ばれることもある。 (ja)
  • ド・モルガンの法則(ド・モルガンのほうそく、De Morgan's laws)は、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン(Augustus de Morgan, 1806–1871)にちなむ。 この規則性(論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」)は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性(英: De Morgan's duality)と呼ばれることもある。 (ja)
dbo:thumbnail
dbo:wikiPageID
  • 9744 (xsd:integer)
dbo:wikiPageLength
  • 6223 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 91777334 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:title
  • de Morgan's Duality Law (ja)
  • de Morgan's Laws (ja)
  • de Morgan's Duality Law (ja)
  • de Morgan's Laws (ja)
prop-ja:urlname
  • deMorgansDualityLaw (ja)
  • deMorgansLaws (ja)
  • deMorgansDualityLaw (ja)
  • deMorgansLaws (ja)
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • ド・モルガンの法則(ド・モルガンのほうそく、De Morgan's laws)は、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン(Augustus de Morgan, 1806–1871)にちなむ。 この規則性(論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」)は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性(英: De Morgan's duality)と呼ばれることもある。 (ja)
  • ド・モルガンの法則(ド・モルガンのほうそく、De Morgan's laws)は、ブール論理や集合の代数学において、論理和と論理積と否定(集合のことばでは、合併と共通部分と補集合)の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン(Augustus de Morgan, 1806–1871)にちなむ。 この規則性(論理のことばで言うと「真と偽を入れ替え、論理和と論理積を入れ替えた論理体系」)は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性(英: De Morgan's duality)と呼ばれることもある。 (ja)
rdfs:label
  • ド・モルガンの法則 (ja)
  • ド・モルガンの法則 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-ja:knownFor of
is owl:sameAs of
is foaf:primaryTopic of