<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Logical consequence - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=Logical_consequence&amp;p=2">3.Next</a>
</p>
<p><b>Logical consequence</b> (also <b>entailment</b> or <b>logical implication</b>) is a fundamental <a href="page.php?w=concept">concept</a> in <a href="page.php?w=logic">logic</a> which describes the relationship between <a href="page.php?w=statement_%28logic%29">statement</a>s that hold true when one statement logically follows from one or more statements. A <a href="page.php?w=Validity_%28logic%29">valid</a> logical <a href="page.php?w=argument">argument</a> is one in which the <a href="page.php?w=Consequent">conclusion</a> is entailed by the</p><p>
<a accesskey="3" href="page.php?w=Logical_consequence&amp;p=2">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
