This HTML5 document contains 59 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q693083
owl:sameAs
dbpedia-ja:健全性
Subject Item
dbpedia-ja:THEマルチプログラミングシステム
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:ゲーデルの完全性定理
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:サウンド
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:シークエント計算
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:ゼロ知識証明
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:ファンダメンタル分析
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:プログラム意味論
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:モデル検査
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:モーダスポネンス
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:並行論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:亀がアキレスに言ったこと
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:二階述語論理
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:人身攻撃
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:健全性
rdfs:label
健全性
rdfs:comment
健全性(けんぜんせい、英: Soundness)は、論証が次の属性を持つことと同値である。 1. * その論証は妥当である。 2. * その前提の全てが真である。 論理体系における証明(例えば自然演繹)が健全(sound)であるとは、妥当な論理式(あるいは恒真式)のみを証明することを意味する。すなわち、論理体系が健全であるとは、 が を含意することをいう。
owl:sameAs
freebase:m.06njx
dct:subject
n4:論証_(論理学) n4:演繹
dbo:wikiPageID
1202196
dbo:wikiPageRevisionID
90820310
dbo:wikiPageWikiLink
dbpedia-ja:妥当性 dbpedia-ja:恒真式 dbpedia-ja:三段論法 dbpedia-ja:自然演繹 n4:演繹 dbpedia-ja:論証 n4:論証_(論理学) dbpedia-ja:論理包含 dbpedia-ja:同値
prop-ja:wikiPageUsesTemplate
template-ja:Lang-en-short template-ja:Pathnav template-ja:科学哲学 template-ja:Philos-stub template-ja:IEP
dbo:abstract
健全性(けんぜんせい、英: Soundness)は、論証が次の属性を持つことと同値である。 1. * その論証は妥当である。 2. * その前提の全てが真である。 論理体系における証明(例えば自然演繹)が健全(sound)であるとは、妥当な論理式(あるいは恒真式)のみを証明することを意味する。すなわち、論理体系が健全であるとは、 が を含意することをいう。
dbo:wikiPageLength
1010
prov:wasDerivedFrom
wikipedia-ja:健全性?oldid=90820310&ns=0
foaf:isPrimaryTopicOf
wikipedia-ja:健全性
Subject Item
dbpedia-ja:命題論理
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:四国OHENROエンターテインメント
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:妥当性
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:対話型証明系
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:帰納
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:形式体系
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:抽象化_(計算機科学)
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:抽象解釈
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:新銀行東京
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:無矛盾
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:自動定理証明
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:誤謬
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論点先取
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論理プログラミング
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論理学の歴史
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:論証
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:超実数
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:金融再生委員会
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
dbpedia-ja:金融再生委員会委員長
dbo:wikiPageWikiLink
dbpedia-ja:健全性
Subject Item
wikipedia-ja:健全性
foaf:primaryTopic
dbpedia-ja:健全性