<?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 9 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Logical_form&amp;p=8">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Logical_form&amp;p=10">3.Next</a>
</p>
<p>:Coco is an animal.<br/>
:Therefore, Coco is a dog.</p>

<p>;Denying the antecedent<br/>
:All cats are animals.<br/>
:Missy is not a cat.<br/>
:Therefore, Missy is not an animal.</p>

<p>A logical <a href="page.php?w=argument">argument</a>, seen as an <a href="page.php?w=ordered_set">ordered set</a> of sentences, has a logical form that <a href="page.php?w=compositionality">derives</a> from the form of its constituent sentences; the logical form of an argument is sometimes called argument form. Some authors only define logical form with respect</p><p>
<a accesskey="1" href="page.php?w=Logical_form&amp;p=8">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Logical_form&amp;p=10">3.Next</a>
</p>

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

</card>
</wml>
