Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
自然演繹
An Entity of Type :
Thing
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
自然演繹(しぜんえんえき、英: Natural deduction)は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。
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
:自然演繹