<?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="Validity (logic) - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=validity_%28logic%29&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=logic">logic</a>, specifically in <a href="page.php?w=deductive_reasoning">deductive reasoning</a>, an <a href="page.php?w=argument">argument</a> is <b>valid</b> <a href="page.php?w=if_and_only_if">if and only if</a> it takes a form that makes it impossible for the <a href="page.php?w=premise">premise</a>s to be <a href="page.php?w=truth">true</a> and the conclusion nevertheless to be <a href="page.php?w=False_%28logic%29">false</a>. It is not required for a valid argument to have premises that are actually true, but to</p><p>
<a accesskey="3" href="page.php?w=validity_%28logic%29&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
