<?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="Philosophical logic - Page 13 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Philosophical_logic&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Philosophical_logic&amp;p=14">3.Next</a>
</p>
<p>it moves from the premises to a conclusion. Often the term "argument" is also used instead. An inference is valid if it is impossible for the premises to be true and the conclusion to be false. In this sense, the truth of the premises ensures the truth of the conclusion. This can be expressed in terms of <a href="page.php?w=rules_of_inference">rules of inference</a>: an inference is valid if its structure, i.e. the way its premises and its conclusion are formed, follows a rule of inference. Different systems of logic provide different accounts</p><p>
<a accesskey="1" href="page.php?w=Philosophical_logic&amp;p=12">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Philosophical_logic&amp;p=14">3.Next</a>
</p>

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

</card>
</wml>
