Question 979811
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>~H &gt; (~C &gt;W)</td><td></td><td></td></tr><tr><td>2</td><td>W v ~H</td><td></td><td></td></tr><tr><td>3</td><td>(C &lt;&gt; ~L) &gt; ~C</td><td></td><td></td></tr><tr><td>4</td><td>~W</td><td></td><td></td></tr><tr><td>:.</td><td>~(C &lt;&gt; ~L)</td><td></td><td></td></tr><tr><td>5</td><td>~H</td><td>2,4</td><td>Disjunctive Syllogism</td></tr><tr><td>6</td><td>~C &gt; W</td><td>1,5</td><td>Modus Ponens</td></tr><tr><td>7</td><td>~~C</td><td>6,4</td><td>Modus Tollens</td></tr><tr><td>8</td><td>~(C &lt;&gt; ~L)</td><td>3,7</td><td>Modus Tollens</td></tr></table>