<?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="Logic - Page 17 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Logic&amp;p=16">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Logic&amp;p=18">3.Next</a>
</p>
<p>to express, analyze, and clarify arguments. They normally have a very limited vocabulary and exact <a href="page.php?w=Syntax">syntactic rule</a>s. These rules specify how their symbols can be combined to construct sentences, so-called <a href="page.php?w=well-formed_formula">well-formed formula</a>s. This simplicity and exactness of formal logic make it capable of formulating precise rules of inference. They determine whether a given argument is valid. Because of the reliance on formal language, natural language arguments cannot be studied directly.</p><p>
<a accesskey="1" href="page.php?w=Logic&amp;p=16">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Logic&amp;p=18">3.Next</a>
</p>

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

</card>
</wml>
