About: Logical consequence

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	27615654 (xsd:integer)
dbo:wikiPageRevisionID	1022175644 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons dbt:See_also dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Logical consequence (en)
owl:sameAs	dbpedia-commons:Logical consequence
skos:broader	dbc:Arguments dbc:Propositional_calculus dbc:Philosophical_logic dbc:Logical_truth dbc:Syntax_(logic) dbc:Philosophy_of_logic dbc:Binary_operations dbc:Concepts_in_logic dbc:Metalogic
skos:prefLabel	Logical consequence (en)
prov:wasDerivedFrom	wikipedia-en:Category:Logical_consequence?oldid=1022175644&ns=14
is dbo:wikiPageWikiLink of	dbr:Entailment_(linguistics) dbr:Monotonicity_of_entailment dbr:Argument dbr:Deductive_closure dbr:⊢ dbr:⊨ dbr:Inference dbr:Consequent dbr:Material_conditional dbr:Critical_thinking dbr:Theorem dbr:Therefore_sign dbr:Idempotency_of_entailment dbr:Situation,_task,_action,_result dbr:Follows_from dbr:Logical_consequence dbr:Logical_equivalence dbr:Rational_consequence_relation dbr:Result dbr:Tautological_consequence dbr:Double_turnstile dbr:Turnstile_(symbol) dbr:Paradoxes_of_material_implication dbr:Textual_entailment
is dcterms:subject of	dbr:Entailment_(linguistics) dbr:Monotonicity_of_entailment dbr:Argument dbr:Deductive_closure dbr:⊢ dbr:⊨ dbr:Inference dbr:Consequent dbr:Material_conditional dbr:Critical_thinking dbr:Theorem dbr:Therefore_sign dbr:Idempotency_of_entailment dbr:Situation,_task,_action,_result dbr:Follows_from dbr:Logical_consequence dbr:Logical_equivalence dbr:Rational_consequence_relation dbr:Result dbr:Tautological_consequence dbr:Double_turnstile dbr:Turnstile_(symbol) dbr:Paradoxes_of_material_implication dbr:Textual_entailment
is skos:broader of	dbc:Conditionals dbc:Consequences_of_events dbc:Theorems dbc:Deductive_reasoning dbc:Inference