About: Logical consequence

Property	Value
dbo:description	複数の文の集合と1つの文の間が「～だから、当然～」という繋がり方をする関係。 (ja) фундаментальне поняття логіки (uk) conceito fundamental na lógica (pt) concept fondamental en logique (fr) fundamental concept in logic (en) konsep mendasar dalam logika (in) logický výrok (cs) logische Verknüpfung (de) podstawowe pojęcie w logice (pl) Baliozko arrazoibide baten premisen eta konklusioaren artean dagoen erlazioa. (eu) consecuencia a la que llevan necesariamente una serie de premisas (es) פעולה מחשבתית (iw) مفهوم أساسي في المنطق (ar) چەمکێکی سەرەکی لە لۆژیک (ckb) consecuencia á que levan necesariamente unha serie de premisas (gl)
dbo:wikiPageExternalLink	http://plato.stanford.edu/entries/conditionals%7C http://www.allwords.com/word-implicant.html http://www.collegepublications.co.uk/logic/mlf/%3F00029 http://www.math.niu.edu/~richard/Math101/implies.pdf https://books.google.com/books%3Fid=lvsVFxK3BPcC&q=consequence%7Cisbn=9780674537866 https://books.google.com/books%3Fid=qW8x7sQ4JXgC&q=consequence%7Cisbn=9780486432281 https://archive.org/details/theoryoflogicalc0000wojc
dbo:wikiPageWikiLink	dbr:Double_turnstile dbr:Empirical_evidence dbr:Formalism_(philosophy_of_mathematics) dbr:Logical_truth dbr:Possible_world dbr:If_and_only_if dbr:Statement_(logic) dbr:German_language dbr:Polish_language dbr:Model_theory dbr:Interpretation_(logic) dbc:Propositional_calculus dbr:A_priori_and_a_posteriori dbr:Alonzo_Church dbr:Logic dbr:Alfred_Tarski dbr:Formal_system dbr:Premise dbr:Philosophical_analysis dbr:Probabilistic_logic dbc:Philosophical_logic dbr:Formal_language dbr:Logical_form dbr:Oxford_University_Press dbr:Philosophical_logic dbr:Propositional_calculus dbr:Proof_theory dbr:Universal_quantification dbr:Consequent dbr:Formal_proof dbr:Strict_conditional dbr:Deductive_reasoning dbr:Concept dbr:Argument dbr:Boolean_function dbr:Monotonicity_of_entailment dbr:Causality dbr:J._Barkley_Rosser dbr:Logic_gate dbr:Modal_logic dbr:Substitution_(logic) dbr:Deductive_system dbr:Validity_(logic) dbr:Material_conditional dbr:Peirce's_law dbc:Logical_consequence dbr:Tautological_consequence dbc:Metalogic dbc:Syntax_(logic) dbr:Tautology_(logic) dbr:Emil_Leon_Post dbr:Michael_Dummett dbr:Therefore_sign dbr:Logical_possibility dbr:Abstract_algebraic_logic dbr:Boolean_domain dbr:Logical_graph dbc:Deductive_reasoning dbc:Binary_operations dbr:Turnstile_(symbol) dbc:Concepts_in_logic dbr:Boolean_logic dbr:Theory_of_justification dbr:Intended_interpretation dbr:Kleene dbr:Schema_(logic) dbr:Ampheck dbr:Gödel dbr:Boolean_algebra_(logic) dbr:Inference_rule dbr:Intuitionist dbr:Sole_sufficient_operator
dbp:date	2014-10-21 (xsd:date)
dbp:id	p/i050280 (en)
dbp:title	Implication (en)
dbp:url	https://web.archive.org/web/20141021082239/http:/www.math.niu.edu/~richard/Math101/implies.pdf
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Logical_connectives dbt:Common_logical_symbols dbt:Formal_semantics dbt:Mathematical_logic dbt:' dbt:Authority_control dbt:Citation dbt:Cite_IEP dbt:Cite_SEP dbt:Div_col_begin dbt:Div_col_end dbt:InPho dbt:Logic dbt:PhilPapers dbt:Redirect dbt:Reflist dbt:See_also dbt:Short_description dbt:Springer dbt:Webarchive dbt:Commons_category
dct:subject	dbc:Propositional_calculus dbc:Philosophical_logic dbc:Logical_consequence dbc:Metalogic dbc:Syntax_(logic) dbc:Semantic_units dbc:Deductive_reasoning dbc:Binary_operations dbc:Concepts_in_logic
rdf:type	owl:Thing owl:Thing
rdfs:label	Logical consequence (en) Conseqüència (ca) استتباع منطقي (ar) Λογική συνέπεια (el) Konsekvenco (eo) Consecuencia lógica (es) Implikation (de) Konsekuensi logis (in) Déduction logique (fr) 논리적 귀결 (ko) 論理的帰結 (ja) Implikacja logiczna (pl) Logisch gevolg (nl) Consequência lógica (pt) Konsekvens (logik) (sv) Умовивід (uk) Умозаключение (ru) 蕴涵 (zh)
rdfs:seeAlso	dbr:Double_turnstile dbr:Non-monotonic_logic dbr:Therefore_sign
owl:sameAs	freebase:Logical consequence http://d-nb.info/gnd/4161414-8 yago-res:Logical consequence wikidata:Logical consequence dbpedia-de:Logical consequence dbpedia-es:Logical consequence dbpedia-nl:Logical consequence dbpedia-pl:Logical consequence dbpedia-fr:Logical consequence dbpedia-he:Logical consequence dbpedia-ja:Logical consequence dbpedia-pt:Logical consequence dbpedia-ru:Logical consequence dbpedia-zh:Logical consequence dbpedia-sv:Logical consequence dbpedia-el:Logical consequence dbpedia-id:Logical consequence dbpedia-ko:Logical consequence dbpedia-ca:Logical consequence dbpedia-ar:Logical consequence dbpedia-bg:Logical consequence dbpedia-eo:Logical consequence dbpedia-fa:Logical consequence dbpedia-fi:Logical consequence dbpedia-hi:Logical consequence dbpedia-sl:Logical consequence dbpedia-sr:Logical consequence dbpedia-th:Logical consequence dbpedia-uk:Logical consequence dbpedia-global:Logical consequence
prov:wasDerivedFrom	wikipedia-en:Logical_consequence?oldid=1310222791&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Logical_consequence
is dbo:knownFor of	dbr:Karl_Schröter
is dbo:wikiPageDisambiguates of	dbr:Consequence
is dbo:wikiPageRedirects of	dbr:Entailment dbr:Proof-theoretic_consequence dbr:Derivability dbr:Follows_from dbr:Consequence_relation dbr:Entailments dbr:Model-theoretic_consequence dbr:Logical_conclusion dbr:Logical_consequence_relation dbr:Logical_entailment dbr:Logical_implication dbr:Syntactic_consequence dbr:Therefore dbr:Semantic_consequence dbr:⊧
is dbo:wikiPageWikiLink of	dbr:Philosophical_zombie dbr:Refinement_(computing) dbr:Anti-Slavery_Day_Act_2010 dbr:Double_turnstile dbr:Idempotency_of_entailment dbr:Ivan_Orlov_(philosopher) dbr:Glossary_of_philosophy dbr:Explanation dbr:Decidability_(logic) dbr:Eliminative_materialism dbr:Logical_truth dbr:Philosophy_of_physics dbr:Ronald_Dworkin dbr:Heyting_algebra dbr:Tacit_knowledge dbr:Cosmological_argument dbr:Formal_fallacy dbr:Crinis dbr:What_the_Tortoise_Said_to_Achilles dbr:Peter_Szendy dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Michael_Krausz dbr:Autoepistemic_logic dbr:Model_theory dbr:Prolog dbr:Social_Darwinism dbr:Conjunction_(grammar) dbr:Externism dbr:Derech_Hashem dbr:Interpretation_(logic) dbr:Models_of_scientific_inquiry dbr:Paradoxes_of_material_implication dbr:Immediacy_(philosophy) dbr:Opportunistic_reasoning dbr:Artificial_intelligence dbr:Atheism dbr:Bad_faith_(existentialism) dbr:Critique_of_Pure_Reason dbr:Free_will dbr:Joseph_de_Maistre dbr:Mathematical_logic dbr:Philosophy dbr:Socratic_questioning dbr:Stoicism dbr:Syllogism dbr:The_Demon-Haunted_World dbr:Alfred_Tarski dbr:Nathan_Salmon dbr:Philosophy_of_logic dbr:Summa_Theologica dbr:Tractatus_Logico-Philosophicus dbr:Galen_Strawson dbr:Peter_John_Olivi dbr:Premise dbr:Posterior_Analytics dbr:Moral_skepticism dbr:Closed-world_assumption dbr:Probabilistic_logic dbr:RDF_Schema dbr:Domain-key_normal_form dbr:Relation_of_Ideas dbr:Intellectual dbr:Islamic_philosophy dbr:Actualism dbr:Descriptivist_theory_of_names dbr:Propositional_calculus dbr:Right-libertarianism dbr:Self-refuting_idea dbr:Sorites_paradox dbr:Intersubjectivity dbr:Karl_Schröter dbr:Hypothetical_syllogism dbr:Modus_ponens dbr:Modus_tollens dbr:Ernst_Mally dbr:Necessity_and_sufficiency dbr:Roderick_Chisholm dbr:Foundations_of_geometry dbr:Omnipotence dbr:Logical_equivalence dbr:Systems_of_Survival dbr:Indexicality dbr:Implication dbr:Intrinsic_value_in_animal_ethics dbr:Design dbr:Objectivism dbr:Philosophy_of_mind dbr:Pitot_theorem dbr:Panpsychism dbr:Strict_conditional dbr:Method_of_analytic_tableaux dbr:Beyond_Freedom_and_Dignity dbr:Popper_and_After dbr:Probability_interpretations dbr:Kalam_cosmological_argument dbr:Liar_paradox_in_early_Islamic_tradition dbr:Prolog_syntax_and_semantics dbr:Presupposition dbr:Deductive_reasoning dbr:Gödel's_completeness_theorem dbr:Individualism dbr:Inductive_reasoning dbr:Scientific_method dbr:Uncertainty_principle dbr:Anomalous_monism dbr:Dignāga dbr:Pluralism_(philosophy) dbr:Christian_existentialism dbr:Per_Martin-Löf dbr:Reason dbr:Argument dbr:Bernard_Bolzano dbr:Colon_(punctuation) dbr:Justin_Martyr dbr:Statistical_inference dbr:Supervenience dbr:Functionalism_(philosophy_of_mind) dbr:Angle_trisection dbr:Paraconsistent_logic dbr:Semantics_of_logic dbr:Russian_cosmism dbr:Verisimilitude dbr:Logical_reasoning dbr:Inference dbr:Soundness dbr:Euthanasia_and_the_slippery_slope dbr:Logic_and_rationality dbr:Rethinking dbr:Logical_pluralism dbr:Monotonicity_of_entailment dbr:John_Etchemendy dbr:Planner_(programming_language) dbr:Reversible_computing dbr:Stephen_Muggleton dbr:Deductive_closure dbr:Principle dbr:Marcin_Malek dbr:Backward_chaining dbr:Dyck_language dbr:Philosophical_aspects_of_the_abortion_debate dbr:Roland_Omnès dbr:Law_of_excluded_middle dbr:Metalogic dbr:Sati_(Buddhism) dbr:List_of_XML_and_HTML_character_entity_references dbr:Entailment_(linguistics) dbr:Epistemic_closure dbr:Theory dbr:Argument_from_morality dbr:Prediction dbr:Validity_(logic) dbr:Universal_grammar dbr:Judgment_(mathematical_logic) dbr:Consequence dbr:Berlin_Circle dbr:First-order_logic dbr:Hume's_principle dbr:Landauer's_principle dbr:Monism dbr:Phenomenalism dbr:Sequent_calculus dbr:Theorem dbr:J._L._Austin dbr:Negation dbr:Observation dbr:Present dbr:Peirce's_law dbr:Stratification_of_emotional_life_(Scheler) dbr:Tautological_consequence dbr:Tautology_(rule_of_inference) dbr:Biological_naturalism dbr:Chinese_room dbr:Dempster–Shafer_theory dbr:Epistemic_modal_logic dbr:Kripke_semantics dbr:Moral_luck dbr:Tautology_(logic) dbr:Hard_problem_of_consciousness dbr:Alan_Ross_Anderson dbr:The_Poverty_of_Historicism dbr:Disjunctive_syllogism dbr:Belief_revision dbr:Universal_instantiation dbr:Conclusion dbr:List_of_logic_symbols dbr:Lottery_paradox dbr:Commutativity_of_conjunction dbr:Conditional_proof dbr:Conditional_statement dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Destructive_dilemma dbr:Dialectica_space dbr:Pramana dbr:Scientific_realism dbr:Subjective_idealism dbr:Theodorus_of_Cyrene dbr:Counterfactual_conditional dbr:Objections_to_evolution dbr:Non-classical_logic dbr:Linear_logic dbr:Mental_model dbr:Steiner_system dbr:Global_resources_dividend dbr:Glossary_of_education_terms_(P–R) dbr:Bunched_logic dbr:Semantic_reasoner dbr:Psychology_of_reasoning dbr:Sum_of_Logic dbr:Argument_from_illusion dbr:Abductive_reasoning dbr:Correlation_does_not_imply_causation dbr:History_of_logic dbr:Semiotic_square dbr:Tom_Regan dbr:Resolution_(logic) dbr:Tennis_racket_theorem dbr:Therefore_sign dbr:Informal_logic dbr:Argumentum_a_fortiori dbr:Problem_of_future_contingents dbr:Inquiry dbr:Coherence_(linguistics) dbr:Further_facts dbr:Barbershop_paradox dbr:Dialetheism dbr:Argument_map dbr:Existence_of_God dbr:Absorption_(logic) dbr:Multiple-conclusion_logic dbr:List_of_philosophical_concepts dbr:Abstract_semantic_graph dbr:Synderesis dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Outline_of_logic dbr:Outline_of_science dbr:Prescriptivity dbr:Process_of_elimination dbr:Truth-bearer dbr:Index_of_philosophy_articles_(I–Q) dbr:Indicative_conditional dbr:Logical_quality dbr:Scalar_implicature dbr:Self-compassion dbr:Theory_(mathematical_logic) dbr:Topical_logic dbr:Vyapti dbr:Quasi-quotation dbr:Connexive_logic dbr:Mereological_essentialism dbr:Turnstile_(symbol) dbr:Transposition_(logic) dbr:Negative_conclusion_from_affirmative_premises dbr:Integrational_theory_of_grammars dbr:Non-cognitivism dbr:Uncertain_inference dbr:Dual_loyalty_(ethics) dbr:Complex_question dbr:Non-Archimedean_time dbr:Simple_(philosophy) dbr:Conjunction_elimination dbr:Truth-value_semantics dbr:Knowledge_of_results dbr:Entailment dbr:List_of_mathematical_symbols_by_subject dbr:World_disclosure dbr:Argument–deduction–proof_distinctions dbr:Summability_kernel dbr:Argumentation_scheme dbr:Ethics_(Spinoza_book) dbr:Round_square_copula dbr:Pablo_Rodriguez_(author) dbr:Metaphysical_terms_in_the_works_of_René_Guénon dbr:NLTS_Conjecture dbr:Glossary_of_artificial_intelligence dbr:Axiom_independence dbr:Proof-theoretic_consequence dbr:Matthew_W._McKeon dbr:Derivability dbr:Follows_from dbr:Consequence_relation dbr:Entailments dbr:Model-theoretic_consequence dbr:Logical_conclusion dbr:Logical_consequence_relation dbr:Logical_entailment dbr:Logical_implication dbr:Syntactic_consequence dbr:Therefore dbr:Semantic_consequence dbr:⊧
is dbp:knownFor of	dbr:Karl_Schröter
is rdfs:seeAlso of	dbr:Per_Martin-Löf
is foaf:primaryTopic of	wikipedia-en:Logical_consequence