About: 自然演繹

Property	Value
dbo:abstract	自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 (ja) 自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 (ja)
dbo:thumbnail	wiki-commons:Special:FilePath/First_order_natural_deduction.png?width=300
dbo:wikiPageExternalLink	http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html http://www.danielclemente.com/logica/dn.en.html http://www.hf.uio.no/filosofi/njpl/vol1no1/meaning/meaning.pdf http://www.winterdrache.de/freeware/domino/ http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic7.html http://www-2.cs.cmu.edu/~fp/papers/mscs00.pdf http://www.sfu.ca/~jeffpell/papers/pelletierNDtexts.pdf
dbo:wikiPageID	1233660 (xsd:integer)
dbo:wikiPageLength	26495 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	90820316 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:直観論理 dbpedia-ja:1926年 dbpedia-ja:1929年 dbpedia-ja:1934年 dbpedia-ja:1935年 dbpedia-ja:1961年 dbpedia-ja:1962年 dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:演繹 dbpedia-ja:Category:証明法 dbpedia-ja:Category:証明論 dbpedia-ja:Category:論理計算 dbpedia-ja:LISP dbpedia-ja:アルフレッド・ノース・ホワイトヘッド dbpedia-ja:ゲルハルト・ゲンツェン dbpedia-ja:ゴットロープ・フレーゲ dbpedia-ja:シークエント計算 dbpedia-ja:ジョン・レモン dbpedia-ja:ダフィット・ヒルベルト dbpedia-ja:バートランド・ラッセル dbpedia-ja:プログラミング言語 dbpedia-ja:ペール・マルティン＝レーフ dbpedia-ja:ポーランド dbpedia-ja:モーダストレンス dbpedia-ja:モーダスポネンス dbpedia-ja:ヤン・ウカシェヴィチ dbpedia-ja:ラムダ・キューブ dbpedia-ja:ラムダ計算 dbpedia-ja:一階述語論理 dbpedia-ja:二重否定の除去 dbpedia-ja:二階述語論理 dbpedia-ja:交換法則 dbpedia-ja:依存型 dbpedia-ja:公理 dbpedia-ja:古典論理 dbpedia-ja:否定 dbpedia-ja:命題 dbpedia-ja:命題論理 dbpedia-ja:型理論 dbpedia-ja:妥当性 dbpedia-ja:定理 dbpedia-ja:形式体系 dbpedia-ja:排中律 dbpedia-ja:推論規則 dbpedia-ja:数学的帰納法 dbpedia-ja:時相論理 dbpedia-ja:演繹 dbpedia-ja:理論 dbpedia-ja:継続 dbpedia-ja:背理法 dbpedia-ja:論理包含 dbpedia-ja:論理和 dbpedia-ja:論理和の導入 dbpedia-ja:論理和の消去 dbpedia-ja:論理学 dbpedia-ja:論理積 dbpedia-ja:論理積の導入 dbpedia-ja:論理積の消去 dbpedia-ja:部分構造論理 dbpedia-ja:量化 dbpedia-ja:可算無限集合 dbpedia-ja:線型論理 dbpedia-ja:様相論理学 dbpedia-ja:証明理論 dbpedia-ja:決定可能 dbpedia-ja:高階論理 dbpedia-ja:Well-formed_formula dbpedia-ja:ファイル:First_order_natural_deduction.png
prop-ja:wikiPageUsesTemplate	template-ja:Cite_book template-ja:Cite_journal template-ja:Lang-en-short template-ja:Reflist template-ja:Unicode template-ja:脚注ヘルプ template-ja:Mathematical_logic
dct:subject	dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:演繹 dbpedia-ja:Category:証明法 dbpedia-ja:Category:証明論 dbpedia-ja:Category:論理計算
rdfs:comment	自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 (ja) 自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 (ja)
rdfs:label	自然演繹 (ja) 自然演繹 (ja)
owl:sameAs	freebase:自然演繹
prov:wasDerivedFrom	wikipedia-ja:自然演繹?oldid=90820316&ns=0
foaf:depiction	wiki-commons:Special:FilePath/First_order_natural_deduction.png
foaf:isPrimaryTopicOf	wikipedia-ja:自然演繹
is dbo:wikiPageRedirects of	dbpedia-ja:演繹論理 dbpedia-ja:演繹論理学
is dbo:wikiPageWikiLink of	dbpedia-ja:エルブランの定理 dbpedia-ja:カリーのパラドックス dbpedia-ja:カリー＝ハワード同型対応 dbpedia-ja:ゲルハルト・ゲンツェン dbpedia-ja:ゲーデルの加速定理 dbpedia-ja:ゲーデルの完全性定理 dbpedia-ja:シークエント計算 dbpedia-ja:ダグ・プラウィッツ dbpedia-ja:モーダストレンス dbpedia-ja:モーダスポネンス dbpedia-ja:一階述語論理 dbpedia-ja:二階述語論理 dbpedia-ja:健全性 dbpedia-ja:命題論理 dbpedia-ja:哲学的論理学 dbpedia-ja:数理論理学 dbpedia-ja:普遍例化 dbpedia-ja:演繹 dbpedia-ja:演繹定理 dbpedia-ja:矛盾許容論理 dbpedia-ja:第一級関数 dbpedia-ja:線形論理 dbpedia-ja:証明論 dbpedia-ja:論理学の歴史 dbpedia-ja:部分構造論理 dbpedia-ja:演繹論理 dbpedia-ja:演繹論理学
is owl:sameAs of	dbpedia-wikidata:自然演繹
is foaf:primaryTopic of	wikipedia-ja:自然演繹