This HTML5 document contains 35 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-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n5http://ja.wikipedia.org/wiki/Category:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n2http://ja.dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
n2:命題論理
rdf:type
skos:Concept
rdfs:label
命題論理
dbo:wikiPageID
3249319
dbo:wikiPageRevisionID
81088838
prop-en:wikiPageUsesTemplate
template-en:Commonscat template-en:Catmore
skos:broader
n2:形式論理体系 n2:命題 n2:古典論理
skos:prefLabel
命題論理
prov:wasDerivedFrom
n5:命題論理?oldid=81088838&ns=14
Subject Item
n2:命題論理の定理
skos:broader
n2:命題論理
Subject Item
n2:標準形_(論理)
skos:broader
n2:命題論理
Subject Item
n2:論理的帰結
skos:broader
n2:命題論理
Subject Item
n2:論理結合子
skos:broader
n2:命題論理
Subject Item
n2:述語論理
skos:broader
n2:命題論理
Subject Item
n2:推論規則
skos:broader
n2:命題論理
Subject Item
dbpedia-ja:中間論理
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:命題論理
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:対偶論法
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:恒真式
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:推論規則
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:真理値表
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:論理演算
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
dbpedia-ja:論理積の導入
dct:subject
n2:命題論理
dbo:wikiPageWikiLink
n2:命題論理
Subject Item
n2:命題的誤謬
skos:broader
n2:命題論理
Subject Item
dbpedia-wikidata:Q7470263
owl:sameAs
n2:命題論理