<?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="Inference - Page 7 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=inference&amp;p=6">1.Previous</a><br />
<a accesskey="3" href="page.php?w=inference&amp;p=8">3.Next</a>
</p>
<p># All Greeks are mortal.</p>

<p>The reader can check that the premises and conclusion are true, but logic is concerned with inference: does the truth of the conclusion follow from that of the premises?</p>

<p>The validity of an inference depends on the form of the inference. That is, the word "valid" does not refer to the truth of the premises or the conclusion, but rather to the form of the inference. An inference can be valid even if the parts are false, and can be invalid even if some parts are true. But a valid form with true premises will</p><p>
<a accesskey="1" href="page.php?w=inference&amp;p=6">1.Previous</a><br />
<a accesskey="3" href="page.php?w=inference&amp;p=8">3.Next</a>
</p>

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

</card>
</wml>
