Question 1028160
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>A &gt; B</td><td></td><td></td></tr><tr><td>2</td><td>C &gt; D</td><td></td><td></td></tr><tr><td>3</td><td>K &gt; (A v C)</td><td></td><td></td></tr><tr><td>4</td><td>J v K</td><td></td><td></td></tr><tr><td>5</td><td>J &gt; Z</td><td></td><td></td></tr><tr><td>6</td><td>W &amp; ~Z</td><td></td><td></td></tr><tr><td>:.</td><td>B v D</td><td></td><td></td></tr><tr><td>7</td><td>~Z &amp; W</td><td>6</td><td>Commutation</td></tr><tr><td>8</td><td>~Z</td><td>7</td><td>Simplification</td></tr><tr><td>9</td><td>~J</td><td>5,8</td><td>Modus Tollens</td></tr><tr><td>10</td><td>K</td><td>4,9</td><td>Disjunctive Syllogism</td></tr><tr><td>11</td><td>A v C</td><td>3,10</td><td>Modus Ponens</td></tr><tr><td>12</td><td>(A &gt; B) &amp; (C &gt; D)</td><td>1,2</td><td>Conjunction</td></tr><tr><td>13</td><td>B v D</td><td>12,11</td><td>Constructive Dilemma</td></tr></table>