About: 推論規則

Property	Value
dbo:wikiPageID	1593331 (xsd:integer)
dbo:wikiPageRevisionID	92659419 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	推論規則 (ja) 推論規則 (ja)
skos:broader	dbpedia-ja:Category:命題論理 dbpedia-ja:Category:形式体系 dbpedia-ja:Category:推論 dbpedia-ja:Category:証明論 dbpedia-ja:Category:論理式 dbpedia-ja:Category:論理的真理
skos:prefLabel	推論規則 (ja) 推論規則 (ja)
skos:related	dbpedia-ja:Category:定理 dbpedia-ja:Category:論証_(論理学)
prov:wasDerivedFrom	http://ja.wikipedia.org/wiki/Category:推論規則?oldid=92659419&ns=14
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:選言三段論法
is dct:subject 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:選言三段論法
is owl:sameAs of	dbpedia-wikidata:推論規則
is skos:related of	dbpedia-ja:Category:論証_(論理学)