<?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="Deductive reasoning - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=Deductive_reasoning&amp;p=2">3.Next</a>
</p>
<p><b>Deductive reasoning</b> is the process of drawing valid <a href="page.php?w=inference">inference</a>s. An inference is <a href="page.php?w=Validity_%28logic%29">valid</a> if its conclusion follows <a href="page.php?w=logic">logic</a>ally from its <a href="page.php?w=premise">premise</a>s, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "<a href="page.php?w=Socrates">Socrates</a> is a man" to the conclusion "Socrates is mortal" is</p><p>
<a accesskey="3" href="page.php?w=Deductive_reasoning&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
