<sod>'''Logical consequence''' (also '''Entailment''') is a fundamental [[concept]] in [[logic]], which describes the relationship between [[statement (logic)|statement]]s that holds true when one statement logically ''follows from'' one or more statements. A [[Validity|valid]] logical [[argument]] is one in which the [[Consequent|conclusions]] follow from the [[premise]]s, because the conclusions are consequences of the premises. The [[philosophical analysis]] of logical consequence involves the questions: In what sense does a conclusion follow from its premises?  and What does it mean for a conclusion to be a consequence of premises?<ref name="sep" >Beall, JC and Restall, Greg, ''[http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ Logical Consequence]'' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).</ref>  All of [[philosophical logic]] is meant to provide accounts of the nature of logical consequence and the nature of [[logical truth]].<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philosophy of Logic''.</ref><eod>
<sod>'''Logical consequence''' (also '''Entailment''') is a fundamental [[concept]] in [[logic]], which describes the relationship between [[statement (logic)|statement]]s that holds true when one statement logically ''follows from'' one or more statements. A [[Validity|valid]] logical [[argument]] is one in which the [[Consequent|conclusions]] entail from the [[premise]]s, because the conclusions are consequences of the premises. The [[philosophical analysis]] of logical consequence involves the questions: In what sense does a conclusion follow from its premises?  and What does it mean for a conclusion to be a consequence of premises?<ref name="sep" >Beall, JC and Restall, Greg, ''[http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ Logical Consequence]'' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).</ref>  All of [[philosophical logic]] is meant to provide accounts of the nature of logical consequence and the nature of [[logical truth]].<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philosophy of Logic''.</ref><eod>