MikelEganaAranguren
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
5
Logical truth
Logical truth
Concept
http://dbpedia.org/resource/Category:Logical_truth
Direct proof
Formal proof
Formation rule
Logical constant
Logical form
Logical truth
Proof (truth)
Rule of inference
Satisfiability
Substitution (logic)
Tautology (logic)
Tautology (rhetoric)
Two Dogmas of Empiricism
Validity
subject
Accuracy and precision
Equations
Logical connectives
Logical consequence
Rules of inference
broader
Logical truth
Concept
http://dbpedia.org/resource/Category:Logical_truth
Wikipage page ID
27,615,611
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
562,888,654
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Logical truth
@en
sameAs
분류:논리적_참
Q6991862
Q6991862
broader
A priori
Concepts in logic
Necessity
Philosophy of logic
Truth
prefLabel
Logical truth
@en
wasDerivedFrom
Category:Logical_truth?oldid=562888654