<?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="Rule of inference - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=rule_of_inference&amp;p=2">3.Next</a>
</p>
<p><b>Rules of inference</b> are ways of deriving conclusions from <a href="page.php?w=premise">premise</a>s. They are integral parts of <a href="page.php?w=formal_logic">formal logic</a>, serving as the <a href="page.php?w=Logical_form">logical structure</a> of <a href="page.php?w=Validity_%28logic%29">valid</a> arguments. If an argument with true premises follows a rule of inference then the conclusion cannot be false. <i>[[Modus ponens]]</i>, an influential rule of inference, connects two premises of the form "if  then " and "" to the conclusion</p><p>
<a accesskey="3" href="page.php?w=rule_of_inference&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
