About DBpedia

About: 論理式 (数学)

An Entity of Type : Thing, from Named Graph : http://ja.dbpedia.org, within Data Space : ja.dbpedia.org

数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。 ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。

thumbnail
Property Value
dbo:abstract
  • 数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。 ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 (ja)
  • 数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。 ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 (ja)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 951824 (xsd:integer)
dbo:wikiPageLength
  • 10515 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90914634 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。 ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 (ja)
  • 数理論理学、命題論理、述語論理における論理式（ろんりしき、英: formulaあるいはwell-formed formula）とは、論理結合子の適用対象となる記号列のことである。整論理式ということもある。 ここでは古典論理を主な対象とするが、非古典論理をはじめ、他の多くの論理体系についても同様な議論は可能である。 (ja)
rdfs:label
  • 論理式 (数学) (ja)
  • 論理式 (数学) (ja)
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License