Data Table
PropertyValue
dbpedia-owl:abstract
  • 自然演繹(しぜんえんえき、英: Natural deduction)は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1233660 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 26420 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 91 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 57366489 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dcterms:subject
rdfs:comment
  • 自然演繹(しぜんえんえき、英: Natural deduction)は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。
rdfs:label
  • 自然演繹
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of