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://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 http://plato.stanford.edu/entries/conditionals%7C https://archive.org/details/theoryoflogicalc0000wojc
dbo:wikiPageWikiLink	dbr:Oxford_University_Press dbr:Monotonicity_of_entailment dbc:Binary_operations dbc:Propositional_calculus dbc:Syntax_(logic) dbr:Formalism_(philosophy_of_mathematics) dbr:Validity_(logic) dbr:Peirce's_law dbr:Universal_quantification dbr:Turnstile_(symbol) dbc:Deductive_reasoning dbr:Double_turnstile dbr:Strict_conditional dbr:Therefore_sign dbr:Proof_theory dbr:Propositional_calculus dbr:Philosophical_analysis dbr:Philosophical_logic dbr:If_and_only_if dbr:Possible_world dbr:J._Barkley_Rosser dbr:Statement_(logic) dbr:Deductive_reasoning dbr:Deductive_system dbr:Formal_system dbc:Concepts_in_logic dbc:Philosophical_logic dbr:German_language dbr:Logic dbr:Polish_language dbr:Formal_language dbr:Modal_logic dbr:Substitution_(logic) dbr:Tautology_(logic) dbr:Intended_interpretation dbr:Interpretation_(logic) dbr:Formal_proof dbr:Logical_truth dbr:Abstract_algebraic_logic dbc:Logical_consequence dbr:Consequent dbr:Empirical_evidence dbr:Alonzo_Church dbc:Metalogic dbr:Argument dbr:Alfred_Tarski dbr:Schema_(logic) dbr:Boolean_algebra_(logic) dbr:Michael_Dummett dbr:Concept dbr:Model_theory dbr:Logical_graph dbr:Material_conditional dbr:Emil_Leon_Post dbr:Logical_form dbr:Boolean_logic dbr:Causality dbr:Logic_gate dbr:Boolean_domain dbr:A_priori_and_a_posteriori dbr:Premise dbr:Boolean_function dbr:Logical_possibility dbr:Tautological_consequence dbr:Probabilistic_logic dbr:Theory_of_justification dbr:Kleene dbr:Ampheck dbr:Intuitionist dbr:Sole_sufficient_operator dbr:Gödel dbr:Inference_rule
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:Commons_category dbt:Authority_control dbt:Cite_book dbt:Reflist dbt:Redirect dbt:Logic dbt:Cite_SEP dbt:See_also dbt:Logical_connectives dbt:Citation dbt:Div_col_end dbt:Formal_semantics dbt:PhilPapers dbt:Cite_IEP dbt:InPho dbt:Mathematical_logic dbt:' dbt:Div_col_begin dbt:Springer dbt:Common_logical_symbols dbt:Webarchive dbt:Short_description
dct:subject	dbc:Binary_operations dbc:Propositional_calculus dbc:Syntax_(logic) dbc:Deductive_reasoning dbc:Concepts_in_logic dbc:Philosophical_logic dbc:Semantic_units dbc:Logical_consequence dbc:Metalogic
rdfs:label	Logical consequence (en) استتباع منطقي (ar) Conseqüència (ca) Λογική συνέπεια (el) Konsekvenco (eo) Consecuencia lógica (es) Implikation (de) Konsekuensi logis (in) Déduction logique (fr) 論理的帰結 (ja) 논리적 귀결 (ko) Implikacja logiczna (pl) Logisch gevolg (nl) Consequência lógica (pt) Умозаключение (ru) Konsekvens (logik) (sv) Умовивід (uk) 蕴涵 (zh)
rdfs:seeAlso	dbr:Double_turnstile dbr:Non-monotonic_logic dbr:Therefore_sign
owl:sameAs	yago-res:Logical consequence freebase:Logical consequence http://d-nb.info/gnd/4161414-8 wikidata:Logical consequence dbpedia-nl:Logical consequence dbpedia-de:Logical consequence dbpedia-fr:Logical consequence dbpedia-zh:Logical consequence dbpedia-ja:Logical consequence dbpedia-pt:Logical consequence dbpedia-he:Logical consequence dbpedia-es:Logical consequence dbpedia-fa:Logical consequence dbpedia-ru:Logical consequence dbpedia-sv:Logical consequence dbpedia-pl:Logical consequence dbpedia-ko:Logical consequence dbpedia-id:Logical consequence dbpedia-el:Logical consequence dbpedia-ca:Logical consequence dbpedia-ar:Logical consequence dbpedia-bg:Logical consequence dbpedia-eo: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=1272490775&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:Therefore dbr:Consequence_relation dbr:Derivability dbr:Follows_from dbr:Entailments dbr:Logical_conclusion dbr:Logical_consequence_relation dbr:Logical_entailment dbr:Logical_implication dbr:Syntactic_consequence dbr:⊧ dbr:Model-theoretic_consequence dbr:Semantic_consequence dbr:Proof-theoretic_consequence
is dbo:wikiPageWikiLink of	dbr:Angle_trisection dbr:Hume's_principle dbr:Prolog_syntax_and_semantics dbr:Backward_chaining dbr:Omnipotence dbr:The_Poverty_of_Historicism dbr:Non-Archimedean_time dbr:Uncertain_inference dbr:Integrational_theory_of_grammars dbr:Non-classical_logic dbr:J._L._Austin dbr:Intellectual dbr:Scientific_realism dbr:Functionalism_(philosophy_of_mind) dbr:Soundness dbr:Epistemic_modal_logic dbr:Russian_cosmism dbr:Berlin_Circle dbr:Mental_model dbr:Sequent_calculus dbr:Paradoxes_of_material_implication dbr:Dyck_language dbr:Monotonicity_of_entailment dbr:Design dbr:Glossary_of_philosophy dbr:Philosophy dbr:List_of_mathematical_symbols_by_subject dbr:Subjective_idealism dbr:Stoicism dbr:Tacit_knowledge dbr:Resolution_(logic) dbr:Validity_(logic) dbr:Per_Martin-Löf dbr:Immediacy_(philosophy) dbr:Peirce's_law dbr:Semantic_reasoner dbr:List_of_philosophical_concepts dbr:Steiner_system dbr:Artificial_intelligence dbr:Correlation_does_not_imply_causation dbr:History_of_logic dbr:Belief_revision dbr:Conjunction_(grammar) dbr:Existence_of_God dbr:First-order_logic dbr:Sorites_paradox dbr:Prolog dbr:Descriptivist_theory_of_names dbr:Hard_problem_of_consciousness dbr:Stephen_Muggleton dbr:Turnstile_(symbol) dbr:Vyapti dbr:Chinese_room dbr:Ronald_Dworkin dbr:Ernst_Mally dbr:Double_turnstile dbr:Strict_conditional dbr:Therefore_sign dbr:Decidability_(logic) dbr:Disjunctive_syllogism dbr:Propositional_calculus dbr:Social_Darwinism dbr:Supervenience dbr:Philosophy_of_logic dbr:Nathan_Salmon dbr:Necessity_and_sufficiency dbr:Philosophy_of_physics dbr:Pluralism_(philosophy) dbr:Roderick_Chisholm dbr:Metalogic dbr:Heyting_algebra dbr:Planner_(programming_language) dbr:Beyond_Freedom_and_Dignity dbr:Dialectica_space dbr:Anomalous_monism dbr:Objectivism dbr:Stratification_of_emotional_life_(Scheler) dbr:Colon_(punctuation) dbr:Syllogism dbr:Inference dbr:Models_of_scientific_inquiry dbr:Deductive_reasoning dbr:Posterior_Analytics dbr:Argumentum_a_fortiori dbr:Autoepistemic_logic dbr:Modus_ponens dbr:Summa_Theologica dbr:Tractatus_Logico-Philosophicus dbr:Gödel's_completeness_theorem dbr:Pitot_theorem dbr:Barbershop_paradox dbr:Refinement_(computing) dbr:Epistemic_closure dbr:Islamic_philosophy dbr:Abductive_reasoning dbr:Joseph_de_Maistre dbr:Observation dbr:Present dbr:Kripke_semantics dbr:Principle dbr:Tautology_(logic) dbr:Eliminative_materialism dbr:Conclusion dbr:Dialetheism dbr:Galen_Strawson dbr:Presupposition dbr:Transposition_(logic) dbr:Implication dbr:Non-cognitivism dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Index_of_philosophy_articles_(I–Q) dbr:Indicative_conditional dbr:Ivan_Orlov_(philosopher) dbr:Linear_logic dbr:Semiotic_square dbr:Externism dbr:Entailment_(linguistics) dbr:Logical_reasoning dbr:Global_resources_dividend dbr:Glossary_of_education_terms_(P–R) dbr:Philosophical_aspects_of_the_abortion_debate dbr:Probability_interpretations dbr:Process_of_elimination dbr:Argument–deduction–proof_distinctions dbr:Atheism dbr:Critique_of_Pure_Reason dbr:Explanation dbr:Foundations_of_geometry dbr:Free_will dbr:List_of_XML_and_HTML_character_entity_references dbr:Philosophy_of_mind dbr:Right-libertarianism dbr:Dignāga dbr:Cosmological_argument dbr:Inductive_reasoning dbr:Monism dbr:Phenomenalism dbr:Psychology_of_reasoning dbr:Reason dbr:Interpretation_(logic) dbr:Formal_fallacy dbr:Semantics_of_logic dbr:Roland_Omnès dbr:Derech_Hashem dbr:Alan_Ross_Anderson dbr:Logical_truth dbr:Deductive_closure dbr:Absorption_(logic) dbr:Truth-bearer dbr:Liar_paradox_in_early_Islamic_tradition dbr:Conjunction_elimination dbr:Objections_to_evolution dbr:Theory dbr:Actualism dbr:Paraconsistent_logic dbr:Argument dbr:Argumentation_scheme dbr:Inquiry dbr:Negation dbr:Reversible_computing dbr:Alfred_Tarski dbr:Abstract_semantic_graph dbr:Scientific_method dbr:Uncertainty_principle dbr:Law_of_excluded_middle dbr:Mathematical_logic dbr:Model_theory dbr:Landauer's_principle dbr:Panpsychism dbr:Socratic_questioning dbr:What_the_Tortoise_Said_to_Achilles dbr:Intrinsic_value_in_animal_ethics dbr:Theorem dbr:Pramana dbr:Prediction dbr:Logical_equivalence dbr:Verisimilitude dbr:Problem_of_future_contingents dbr:Theodorus_of_Cyrene dbr:Argument_from_morality dbr:Coherence_(linguistics) dbr:Method_of_analytic_tableaux dbr:Judgment_(mathematical_logic) dbr:Modus_tollens dbr:Hypothetical_syllogism dbr:Karl_Schröter dbr:Indexicality dbr:Moral_skepticism dbr:Synderesis dbr:List_of_logic_symbols dbr:Domain-key_normal_form dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Logical_quality dbr:Scalar_implicature dbr:Simple_(philosophy) dbr:Individualism dbr:Universal_grammar dbr:Bernard_Bolzano dbr:Justin_Martyr dbr:Marcin_Malek dbr:Informal_logic dbr:Christian_existentialism dbr:The_Demon-Haunted_World dbr:Multiple-conclusion_logic dbr:Opportunistic_reasoning dbr:World_disclosure dbr:Closed-world_assumption dbr:Crinis dbr:Glossary_of_artificial_intelligence dbr:Dempster–Shafer_theory dbr:Tom_Regan dbr:Peter_John_Olivi dbr:Premise dbr:Sati_(Buddhism) dbr:Intersubjectivity dbr:Statistical_inference dbr:Tennis_racket_theorem dbr:Universal_instantiation dbr:Argument_map dbr:Counterfactual_conditional dbr:Argument_from_illusion dbr:Bad_faith_(existentialism) dbr:Lottery_paradox dbr:Bunched_logic dbr:Commutativity_of_conjunction dbr:Biological_naturalism dbr:Popper_and_After dbr:Prescriptivity dbr:Mereological_essentialism dbr:Michael_Krausz dbr:Tautological_consequence dbr:Tautology_(rule_of_inference) dbr:RDF_Schema dbr:Consequence dbr:Kalam_cosmological_argument dbr:Sum_of_Logic dbr:Idempotency_of_entailment dbr:Peter_Szendy dbr:Systems_of_Survival dbr:Knowledge_of_results dbr:Probabilistic_logic dbr:Philosophical_zombie dbr:Conditional_proof dbr:Conditional_statement dbr:Conjunction_introduction dbr:Connexive_logic dbr:Constructive_dilemma dbr:Destructive_dilemma dbr:John_Etchemendy dbr:Anti-Slavery_Day_Act_2010 dbr:Axiom_independence dbr:Complex_question dbr:Dual_loyalty_(ethics) dbr:Quasi-quotation dbr:Relation_of_Ideas dbr:Logic_and_rationality dbr:Self-compassion dbr:Self-refuting_idea dbr:Outline_of_logic dbr:Outline_of_science dbr:Logical_pluralism dbr:Moral_luck dbr:Topical_logic dbr:Theory_(mathematical_logic) dbr:Truth-value_semantics dbr:Euthanasia_and_the_slippery_slope dbr:Further_facts dbr:Entailment dbr:Ethics_(Spinoza_book) dbr:Negative_conclusion_from_affirmative_premises dbr:Rethinking dbr:Pablo_Rodriguez_(author) dbr:Summability_kernel dbr:Round_square_copula dbr:NLTS_Conjecture dbr:Metaphysical_terms_in_the_works_of_René_Guénon dbr:Matthew_W._McKeon dbr:Therefore dbr:Consequence_relation dbr:Derivability dbr:Follows_from dbr:Entailments dbr:Logical_conclusion dbr:Logical_consequence_relation dbr:Logical_entailment dbr:Logical_implication dbr:Syntactic_consequence dbr:⊧ dbr:Model-theoretic_consequence dbr:Semantic_consequence dbr:Proof-theoretic_consequence
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