<?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 truth - Page 4 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=logical_truth&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=logical_truth&amp;p=5">3.Next</a>
</p>

<p>Treating logical truths, analytic truths, and necessary truths as equivalent, logical truths can be contrasted with <a href="page.php?w=fact">fact</a>s (which can also be called contingent claims or synthetic claims). Contingent truths are true in this world, but could have turned out otherwise (in other words, they are false in at least one possible world). Logically true <a href="page.php?w=proposition">proposition</a>s such as "If p and q, then p" and "All married people are married" are logical truths because they are true due to their internal</p><p>
<a accesskey="1" href="page.php?w=logical_truth&amp;p=3">1.Previous</a><br />
<a accesskey="3" href="page.php?w=logical_truth&amp;p=5">3.Next</a>
</p>

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

</card>
</wml>
