Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Logical truth
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
27615611
(xsd:integer)
dbo:
wikiPageRevisionID
1022182227
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons
dbt
:See_also
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Logical truth
(en)
owl:
sameAs
dbpedia-commons
:Logical truth
skos:
broader
dbc
:A_priori
dbc
:Philosophy_of_logic
dbc
:Concepts_in_logic
dbc
:Necessity
dbc
:Truth
skos:
prefLabel
Logical truth
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Logical_truth?oldid=1022182227&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Proof_(truth)
dbr
:Two_Dogmas_of_Empiricism
dbr
:Validity_(logic)
dbr
:Substitution_(logic)
dbr
:Logical_form
dbr
:Logical_truth
dbr
:Direct_proof
dbr
:Formal_proof
dbr
:Formation_rule
dbr
:Logical_constant
dbr
:Tautology_(logic)
dbr
:Rule_of_inference
dbr
:Satisfiability
is
dcterms:
subject
of
dbr
:Proof_(truth)
dbr
:Two_Dogmas_of_Empiricism
dbr
:Validity_(logic)
dbr
:Substitution_(logic)
dbr
:Logical_form
dbr
:Logical_truth
dbr
:Direct_proof
dbr
:Formal_proof
dbr
:Formation_rule
dbr
:Logical_constant
dbr
:Tautology_(logic)
dbr
:Rule_of_inference
dbr
:Satisfiability
is
skos:
broader
of
dbc
:Logical_consequence
dbc
:Rules_of_inference
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License