<?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 6 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=inference&amp;p=5">1.Previous</a><br />
<a accesskey="3" href="page.php?w=inference&amp;p=7">3.Next</a>
</p>
<p>possible definitions of "inference" are:<br/>
# A conclusion reached on the basis of evidence and reasoning.<br/>
# The process of reaching such a conclusion.</p>

<p><big>Examples</big></p>
<p><big>Example for definition #1</big></p>
<p><a href="page.php?w=Ancient_Greek_philosophy">Ancient Greek philosophers</a> defined a number of <a href="page.php?w=syllogism">syllogism</a>s, correct three part inferences, that can be used as building blocks for more complex reasoning. We begin with a famous example:<br/>
# All humans are mortal.<br/>
# All Greeks are humans.<br/></p><p>
<a accesskey="1" href="page.php?w=inference&amp;p=5">1.Previous</a><br />
<a accesskey="3" href="page.php?w=inference&amp;p=7">3.Next</a>
</p>

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

</card>
</wml>
