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 :
Concept
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
Property
Value
dbo:
wikiPageID
3249319
(xsd:integer)
dbo:
wikiPageRevisionID
81088838
(xsd:integer)
prop-ja:
wikiPageUsesTemplate
template-ja
:Commonscat
template-ja
:Catmore
rdf:
type
skos
:Concept
rdfs:
label
命題論理
(ja)
命題論理
(ja)
skos:
broader
dbpedia-ja
:Category:古典論理
dbpedia-ja
:Category:命題
dbpedia-ja
:Category:形式論理体系
skos:
prefLabel
命題論理
(ja)
命題論理
(ja)
prov:
wasDerivedFrom
wikipedia-ja
:Category:命題論理?oldid=81088838&ns=14
is
dbo:
wikiPageWikiLink
of
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
:論理積の導入
is
owl:
sameAs
of
dbpedia-wikidata
:命題論理
is
skos:
broader
of
dbpedia-ja
:Category:推論規則
dbpedia-ja
:Category:命題的誤謬
dbpedia-ja
:Category:命題論理の定理
dbpedia-ja
:Category:標準形_(論理)
dbpedia-ja
:Category:論理的帰結
dbpedia-ja
:Category:論理結合子
dbpedia-ja
:Category:述語論理