<?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="Antecedent (logic) - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=Antecedent_%28logic%29&amp;p=2">3.Next</a>
</p>
<p>An <b>antecedent</b> is the first half of a <a href="page.php?w=hypothetical">hypothetical</a> <a href="page.php?w=proposition">proposition</a>, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the <b><i>protasis</i></b>.</p>

<p>Examples:</p>

<p>
* If , then .</p>

<p>This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is <b>P</b>, and the <a href="page.php?w=consequent">consequent</a> is <b>Q</b>. In the <a href="page.php?w=material_conditional">implication</a> "</p><p>
<a accesskey="3" href="page.php?w=Antecedent_%28logic%29&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
