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	dbr:Possible_world dbr:If_and_only_if dbr:Statement_(logic) dbr:Predicate_logic dbr:Logical_disjunction dbr:Interpretation_(logic) dbr:Analytic–synthetic_distinction dbr:Knowledge dbr:Logic dbr:Salva_veritate dbr:Truth dbr:Formal_system dbc:Philosophical_logic dbr:Logical_connective dbr:Philosophical_logic dbr:Proposition dbr:Quantifier_(logic) dbr:Logical_positivism dbr:Universal_quantification dbr:Logical_constant dbr:Truth_function dbr:Empiricism dbr:Synonym dbr:Concept dbr:Contradiction dbr:Valuation_(logic) dbr:Satisfiability dbr:Willard_Van_Orman_Quine dbr:Two_Dogmas_of_Empiricism dbr:Validity_(logic) dbr:False_(logic) dbr:Theorem dbr:Logical_conjunction dbr:Negation dbr:Propositional_logic dbc:Necessity dbr:Tautology_(logic) dbr:Fact dbr:Truth_value dbr:Well-formed_formula dbr:Rule_of_inference dbr:Existential_quantification dbr:Logical_consequence dbc:Philosophy_of_logic dbc:Logical_connectives dbc:Logical_truth dbc:Truth dbc:Concepts_in_logic dbr:Logical_NAND dbr:Rationalist dbr:Logical_truth_table dbr:Joint_denial dbr:Logical_implication dbr:Logical_positivists
dbp:wikiPageUsesTemplate	dbt:Logical_truth dbt:Logical_connectives dbt:Common_logical_symbols dbt:Mathematical_logic dbt:About dbt:Cite_SEP dbt:Cn dbt:InPho dbt:Logic dbt:Main dbt:PhilPapers dbt:Reflist dbt:Short_description dbt:Commons_category
dct:subject	dbc:Philosophical_logic dbc:Philosophy_of_logic dbc:Logical_connectives dbc:Logical_truth dbc:Truth dbc:Concepts_in_logic
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) Логічна істина (uk) Logisk sanning (sv) Истина (логика) (ru) 邏輯真理 (zh)
owl:sameAs	freebase:Logical truth yago-res:Logical truth wikidata:Logical truth dbpedia-es:Logical truth dbpedia-pl:Logical truth dbpedia-fr:Logical truth dbpedia-da:Logical truth dbpedia-ja:Logical truth dbpedia-pt:Logical truth dbpedia-ru:Logical truth dbpedia-zh:Logical truth dbpedia-sv: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
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:Necessarily_true dbr:Necessary_truth dbr:Analytic_truth dbr:Analytical_truth dbr:Logical_true dbr:Logically_bound dbr:Logically_necessary dbr:Logically_true dbr:Logical_certainty dbr:Logical_necessity
is dbo:wikiPageWikiLink of	dbr:Apophantic dbr:Argument_from_analogy dbr:Armchair_theorizing dbr:History_of_the_function_concept dbr:Imre_Lakatos dbr:Possible_world dbr:Ramsey_sentence dbr:Rudolf_Carnap dbr:Practical_syllogism dbr:Jerome_Inglott dbr:Corresponding_conditional dbr:Jansenism dbr:Rete_algorithm dbr:Cogito,_ergo_sum dbr:Critique_of_Pure_Reason dbr:Epistemology dbr:G._E._Moore dbr:Identity_of_indiscernibles dbr:Karl_Popper dbr:Logic dbr:Metaphysics dbr:Philosophy_of_language dbr:Rationalism dbr:Thomas_Aquinas dbr:Charles_Hartshorne dbr:Mereology dbr:Nathan_Salmon dbr:Philosophy_of_logic dbr:Philosophy_of_mathematics dbr:Strange_loop dbr:Sherrilyn_Roush dbr:Subjunctive_possibility dbr:Naming_and_Necessity dbr:Saul_Kripke dbr:Axiom dbr:Descriptivist_theory_of_names dbr:Direct_reference_theory dbr:Fatalism dbr:Principia_Mathematica dbr:Propositional_calculus dbr:Anti-psychologism dbr:Edmund_Husserl dbr:Logical_positivism dbr:Gisbert_Hasenjaeger dbr:Benjamin_Peirce dbr:Ernst_Mally dbr:Omnipotence dbr:Language,_Truth,_and_Logic dbr:Leap_of_faith dbr:Lorenzo_Peña dbr:Apodicticity dbr:Modal_operator dbr:Latin_Church dbr:Philosophy_of_mind dbr:Pragmatism dbr:Interior_algebra dbr:Strict_conditional dbr:Method_of_analytic_tableaux dbr:Louis_Rougier dbr:Popper_and_After dbr:Liar_paradox_in_early_Islamic_tradition dbr:Ludwig_Wittgenstein's_philosophy_of_mathematics dbr:Presupposition dbr:Deductive_reasoning dbr:Divine_command_theory dbr:Empiricism dbr:Gödel's_ontological_proof dbr:Inductive_reasoning dbr:Scientific_method dbr:Argument dbr:Chrysippus dbr:Gunk_(mereology) dbr:Functionalism_(philosophy_of_mind) dbr:Ontological_argument dbr:Paraconsistent_logic dbr:Francesco_Bonatelli dbr:Grammar_of_Assent dbr:Truth_condition dbr:Anton_Günther dbr:Argumentation_theory dbr:John_Etchemendy dbr:Practical_reason dbr:William_Whewell dbr:Two_Dogmas_of_Empiricism dbr:Robert_Audi dbr:Albert_Blumberg dbr:Epistemic_theories_of_truth dbr:Argument_from_morality dbr:Validity_(logic) dbr:David_Kaplan_(philosopher) dbr:Jessica_Wilson dbr:False_(logic) dbr:Principle_of_compositionality dbr:David_Lewis_(philosopher) dbr:Data_type dbr:Predestination dbr:Analytic_apriori dbr:New_Confucianism dbr:A_posteriori_necessity dbr:Counterpart_theory dbr:Thomas_Nagel dbr:Two-dimensionalism dbr:Tautology_(logic) dbr:An_Enquiry_Concerning_Human_Understanding dbr:Controversy_over_Cantor's_theory dbr:Fitch's_paradox_of_knowability dbr:Francis_Hutcheson_(philosopher) dbr:Truth_value dbr:Non-classical_logic dbr:Inductivism dbr:Linear_logic dbr:Henric_Sanielevici dbr:An_Introduction_to_Animals_and_Political_Theory dbr:Panthoides dbr:Relevance dbr:Rule_of_inference dbr:Problem_of_religious_language dbr:Free_will_in_antiquity dbr:Invariances dbr:Existential_quantification dbr:Appeal_to_tradition dbr:Converse_(logic) dbr:Euthyphro_dilemma dbr:Groundwork_of_the_Metaphysics_of_Morals dbr:Logical_consequence dbr:Existence_of_God dbr:The_Grammar_of_Science dbr:List_of_philosophical_concepts dbr:Outline_of_logic dbr:Relativist_fallacy dbr:Truth-bearer dbr:Impossible_world dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Metaphysical_necessity dbr:Michael_Foster_(philosopher) dbr:Connexive_logic dbr:Truth-conditional_semantics dbr:Incorrigibility dbr:Indefinite_monism dbr:Conceptions_of_logic dbr:Propositional_function dbr:True_(logic) dbr:Logical_intuition dbr:Bertrand_Russell's_philosophical_views dbr:Michael_Levin dbr:Necessarily_true dbr:Necessary_truth dbr:Matthew_W._McKeon dbr:Analytic_truth dbr:Analytical_truth dbr:Logical_true dbr:Logically_bound dbr:Logically_necessary dbr:Logically_true dbr:Logical_certainty dbr:Logical_necessity
is foaf:primaryTopic of	wikipedia-en:Logical_truth