About: Logical truth

Property	Value
dbo:description	sentencia formulada y bien formada que en su lenguaje formal resulta cierta bajo todas las interpretaciones de su lenguaje formal (es) statement which is true regardless of the truth or falsity of its constituent parts (en) وتەیەک کە سەرباری ڕاست یا درۆ بوونی بەشەکانی، ھەر ڕاستە (ckb) 这个陈述是真的，并且除了逻辑常数之外，对其组成部分的所有重新解释都是正确的;分析陈述的类型;逻辑真理（包括重言式）是被认为必然是真的真理 (zh) unha afirmación que é verdadeira independentemente da verdade ou falsidade das súas proposicións constitutivas (gl)
dbo:wikiPageInterLanguageLink	dbpedia-ca:Valor_vertader
dbo:wikiPageWikiLink	dbc:Philosophy_of_logic dbr:Two_Dogmas_of_Empiricism dbr:Quantifier_(logic) dbr:Validity_(logic) dbr:Rule_of_inference dbr:Universal_quantification dbr:Empiricism dbc:Logical_connectives dbc:Necessity dbr:Logical_consequence dbr:Propositional_logic dbr:Philosophical_logic dbr:Satisfiability dbr:If_and_only_if dbr:Possible_world dbr:False_(logic) dbr:Salva_veritate dbr:Proposition dbr:Statement_(logic) dbr:Analytic–synthetic_distinction dbr:Willard_Van_Orman_Quine dbr:Formal_system dbr:Well-formed_formula dbc:Concepts_in_logic dbc:Philosophical_logic dbr:Logic dbr:Logical_conjunction dbr:Logical_positivism dbr:Tautology_(logic) dbc:Truth dbr:Knowledge dbr:Truth dbr:Interpretation_(logic) dbr:Synonym dbr:Contradiction dbc:Logical_truth dbr:Fact dbr:Logical_connective dbr:Negation dbr:Truth_value dbr:Concept dbr:Truth_function dbr:Theorem dbr:Existential_quantification dbr:Valuation_(logic) dbr:Rationalist dbr:Logical_disjunction dbr:Logical_constant dbr:Logical_NAND dbr:Predicate_logic dbr:Joint_denial dbr:Logical_implication dbr:Logical_positivists dbr:Logical_truth_table
dbp:wikiPageUsesTemplate	dbt:Logical_truth dbt:Commons_category dbt:Main dbt:Reflist dbt:Logic dbt:Cite_SEP dbt:Logical_connectives dbt:About dbt:PhilPapers dbt:InPho dbt:Mathematical_logic dbt:Cn dbt:Common_logical_symbols dbt:Short_description
dct:subject	dbc:Philosophy_of_logic dbc:Logical_connectives dbc:Concepts_in_logic dbc:Philosophical_logic dbc:Truth dbc:Logical_truth
gold:hypernym	dbr:Theories
rdfs:label	Logical truth (en) حقيقة منطقية (ar) Veritat lògica (ca) Verdad lógica (es) Vérité logique (fr) 論理的真理 (ja) Verdade lógica (pt) Prawda (logika) (pl) Logisk sanning (sv) Логічна істина (uk) Истина (логика) (ru) 邏輯真理 (zh)
owl:sameAs	yago-res:Logical truth freebase:Logical truth wikidata:Logical truth dbpedia-fr:Logical truth dbpedia-zh:Logical truth dbpedia-ja:Logical truth dbpedia-pt:Logical truth dbpedia-da:Logical truth dbpedia-es:Logical truth dbpedia-ru:Logical truth dbpedia-sv:Logical truth dbpedia-pl:Logical truth dbpedia-ca:Logical truth dbpedia-am:Logical truth dbpedia-ar:Logical truth dbpedia-hi:Logical truth dbpedia-kk:Logical truth dbpedia-uk:Logical truth dbpedia-global:Logical truth dbr:Logical truth
prov:wasDerivedFrom	wikipedia-en:Logical_truth?oldid=1262626803&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Logical_truth
is dbo:notableIdea of	dbr:Rudolf_Carnap
is dbo:wikiPageRedirects of	dbr:True_(logic) dbr:Analytic_truth dbr:Analytical_truth dbr:Necessarily_true dbr:Necessary_truth dbr:Logical_certainty dbr:Logical_necessity dbr:Logical_true dbr:Logically_bound dbr:Logically_necessary dbr:Logically_true
is dbo:wikiPageWikiLink of	dbr:Modal_operator dbr:Omnipotence dbr:Practical_syllogism dbr:Indefinite_monism dbr:Cogito,_ergo_sum dbr:Non-classical_logic dbr:Edmund_Husserl dbr:Functionalism_(philosophy_of_mind) dbr:Two_Dogmas_of_Empiricism dbr:Leap_of_faith dbr:Divine_command_theory dbr:Gödel's_ontological_proof dbr:Latin_Church dbr:Language,_Truth,_and_Logic dbr:Validity_(logic) dbr:Rule_of_inference dbr:Truth_condition dbr:List_of_philosophical_concepts dbr:Existence_of_God dbr:Metaphysics dbr:Pragmatism dbr:Principia_Mathematica dbr:Descriptivist_theory_of_names dbr:Problem_of_religious_language dbr:G._E._Moore dbr:Imre_Lakatos dbr:Saul_Kripke dbr:Anton_Günther dbr:Empiricism dbr:Ernst_Mally dbr:Logical_consequence dbr:Strict_conditional dbr:Ontological_argument dbr:Louis_Rougier dbr:Propositional_calculus dbr:Philosophy_of_logic dbr:Nathan_Salmon dbr:Charles_Hartshorne dbr:Possible_world dbr:Francesco_Bonatelli dbr:False_(logic) dbr:Corresponding_conditional dbr:Counterpart_theory dbr:Argumentation_theory dbr:Inductivism dbr:Rudolf_Carnap dbr:William_Whewell dbr:An_Enquiry_Concerning_Human_Understanding dbr:Deductive_reasoning dbr:Philosophy_of_language dbr:Rationalism dbr:Mereology dbr:Principle_of_compositionality dbr:Epistemic_theories_of_truth dbr:Jansenism dbr:Logic dbr:Logical_positivism dbr:Ramsey_sentence dbr:Chrysippus dbr:Tautology_(logic) dbr:Two-dimensionalism dbr:Presupposition dbr:Relevance dbr:Fitch's_paradox_of_knowability dbr:Free_will_in_antiquity dbr:Index_of_philosophy_articles_(I–Q) dbr:Strange_loop dbr:Apodicticity dbr:Linear_logic dbr:New_Confucianism dbr:Albert_Blumberg dbr:Impossible_world dbr:Index_of_logic_articles dbr:Critique_of_Pure_Reason dbr:Epistemology dbr:Philosophy_of_mind dbr:Predestination dbr:Thomas_Aquinas dbr:Data_type dbr:Inductive_reasoning dbr:Naming_and_Necessity dbr:Identity_of_indiscernibles dbr:Direct_reference_theory dbr:True_(logic) dbr:Relativist_fallacy dbr:Truth-bearer dbr:Liar_paradox_in_early_Islamic_tradition dbr:Axiom dbr:Karl_Popper dbr:Paraconsistent_logic dbr:Argument dbr:Truth_value dbr:Scientific_method dbr:Robert_Audi dbr:Benjamin_Peirce dbr:Converse_(logic) dbr:Euthyphro_dilemma dbr:Gisbert_Hasenjaeger dbr:Rete_algorithm dbr:Argument_from_analogy dbr:Grammar_of_Assent dbr:Invariances dbr:History_of_the_function_concept dbr:Thomas_Nagel dbr:Argument_from_morality dbr:Method_of_analytic_tableaux dbr:Appeal_to_tradition dbr:Analytic_apriori dbr:Apophantic dbr:Subjunctive_possibility dbr:Anti-psychologism dbr:Philosophy_of_mathematics dbr:Existential_quantification dbr:Lorenzo_Peña dbr:The_Grammar_of_Science dbr:David_Lewis_(philosopher) dbr:Conceptions_of_logic dbr:Sherrilyn_Roush dbr:Fatalism dbr:Francis_Hutcheson_(philosopher) dbr:Groundwork_of_the_Metaphysics_of_Morals dbr:Panthoides dbr:Gunk_(mereology) dbr:Henric_Sanielevici dbr:Jerome_Inglott dbr:Ludwig_Wittgenstein's_philosophy_of_mathematics dbr:Popper_and_After dbr:Metaphysical_necessity dbr:Michael_Foster_(philosopher) dbr:Truth-conditional_semantics dbr:David_Kaplan_(philosopher) dbr:Propositional_function dbr:Practical_reason dbr:Armchair_theorizing dbr:Connexive_logic dbr:Controversy_over_Cantor's_theory dbr:John_Etchemendy dbr:Outline_of_logic dbr:Interior_algebra dbr:A_posteriori_necessity dbr:Jessica_Wilson dbr:An_Introduction_to_Animals_and_Political_Theory dbr:Logical_intuition dbr:Incorrigibility dbr:Michael_Levin dbr:Bertrand_Russell's_philosophical_views dbr:Matthew_W._McKeon dbr:Analytic_truth dbr:Analytical_truth dbr:Necessarily_true dbr:Necessary_truth dbr:Logical_certainty dbr:Logical_necessity dbr:Logical_true dbr:Logically_bound dbr:Logically_necessary dbr:Logically_true
is foaf:primaryTopic of	wikipedia-en:Logical_truth