<?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="Logical form - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=Logical_form&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=logic">logic</a>, the <b>logical form</b> of a <a href="page.php?w=Statement_%28logic%29">statement</a> is a precisely specified <a href="page.php?w=Semantics">semantic</a> version of that statement in a <a href="page.php?w=formal_system">formal system</a>. Informally, the logical form attempts to <a href="page.php?w=Logic_translation">formalize</a> a possibly <a href="page.php?w=Syntactic_ambiguity">ambiguous</a> statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system.</p><p>
<a accesskey="3" href="page.php?w=Logical_form&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
