Question 979169
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1.</td><td>(D -&gt; K) &amp; (J -&gt; K)</td><td></td><td></td></tr><tr><td>2.</td><td>D v (J &amp; M)</td><td></td><td></td></tr><tr><td>3.</td><td>K -&gt; ~A</td><td></td><td></td></tr><tr><td>:.</td><td>A -&gt; S</td><td></td><td></td></tr><tr><td>4.</td><td>(D v J) &amp; (D v M)</td><td>2</td><td>Distribution</td></tr><tr><td>5.</td><td>D v J</td><td>4</td><td>Simplification</td></tr><tr><td>6.</td><td>K v K</td><td>1,5</td><td>Constructive Dilemma</td></tr><tr><td>7.</td><td>K</td><td>6</td><td>Tautology</td></tr><tr><td>8.</td><td>~A</td><td>3,7</td><td>Modus Ponens</td></tr><tr><td>9.</td><td>~A v S</td><td>8</td><td>Addition</td></tr><tr><td>10.</td><td>~~A -&gt; S</td><td>9</td><td>Material Implication</td></tr><tr><td>11.</td><td>A -&gt; S</td><td>10</td><td>Double Negation</td></tr></table>