<?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="Universal instantiation - Page 5 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Universal_instantiation&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Universal_instantiation&amp;p=6">3.Next</a>
</p>
<p>and the singular statements that are related to them as instances. Yet it is a principle only by courtesy. It holds only in the case where a term names and, furthermore, occurs <a href="page.php?w=Reference">referentially</a>.</p>

<p><big>See also</big></p>
<p>
*<a href="page.php?w=Existential_instantiation">Existential instantiation</a> <br/>
*<a href="page.php?w=Existential_quantification">Existential quantification</a></p>

<p><big>References</big></p>
<p></p>
<p>
<a accesskey="1" href="page.php?w=Universal_instantiation&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Universal_instantiation&amp;p=6">3.Next</a>
</p>

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

</card>
</wml>
