<?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="First-order logic - Page 29 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=first-order_logic&amp;p=28">1.Previous</a><br />
<a accesskey="3" href="page.php?w=first-order_logic&amp;p=30">3.Next</a>
</p>
<p>such as f, g and h. Examples:<br/>
** f(x) may be interpreted as "the father of x". In <a href="page.php?w=arithmetic">arithmetic</a>, it may stand for "-x". In set theory, it may stand for "the <a href="page.php?w=power_set">power set</a> of x".<br/>
** In arithmetic, g(x,y) may stand for "x+y". In set theory, it may stand for "the union of x and y".<br/>
** Function symbols of valence 0 are called constant symbols, and are often denoted by lowercase letters at the beginning of the alphabet such as a, b and c. The symbol a may stand for Socrates.</p><p>
<a accesskey="1" href="page.php?w=first-order_logic&amp;p=28">1.Previous</a><br />
<a accesskey="3" href="page.php?w=first-order_logic&amp;p=30">3.Next</a>
</p>

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

</card>
</wml>
