<?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="Propositional logic - Page 14 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Propositional_logic&amp;p=13">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Propositional_logic&amp;p=15">3.Next</a>
</p>
<p>conditions for the truth of a sentence, or whether a sentence logically follows from some other sentence or group of sentences.</p>

<p><big> Declarative sentences </big></p>
<p>Propositional logic deals with <b>statements</b>, which are defined as declarative sentences having truth value. Examples of statements might include:</p>

<p>
* <a href="page.php?w=Wikipedia">Wikipedia</a> is a free online encyclopedia that anyone can edit.<br/>
* <a href="page.php?w=London">London</a> is the capital of <a href="page.php?w=England">England</a>.<br/>
* All <a href="page.php?w=Wikipedia_community">Wikipedia editors</a></p><p>
<a accesskey="1" href="page.php?w=Propositional_logic&amp;p=13">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Propositional_logic&amp;p=15">3.Next</a>
</p>

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

</card>
</wml>
