Question 1038546
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>A v B</td><td></td><td></td></tr><tr><td>2</td><td>C</td><td></td><td></td></tr><tr><td>3</td><td>(A ^ C) &gt; D</td><td></td><td></td></tr><tr><td>4</td><td>~(~F ^ B)</td><td></td><td></td></tr><tr><td>:.</td><td>D v F</td><td></td><td></td></tr><tr><td>5</td><td>~~F v ~B</td><td>4</td><td>De Morgan's Law</td></tr><tr><td>6</td><td>F v ~B</td><td>5</td><td>Double Negation</td></tr><tr><td>7</td><td>~B v F</td><td>6</td><td>Commutation</td></tr><tr><td>8</td><td>B &gt; F</td><td>7</td><td>Material Implication</td></tr><tr><td>9</td><td>~~A v B</td><td>1</td><td>Double Negation</td></tr><tr><td>10</td><td>~A &gt; B</td><td>9</td><td>Material Implication</td></tr><tr><td>11</td><td>~A &gt; F</td><td>10,8</td><td>Hypothetical Syllogism</td></tr><tr><td>12</td><td>~F &gt; ~~A</td><td>11</td><td>Transposition</td></tr><tr><td>13</td><td>~F &gt; A</td><td>12</td><td>Double Negation</td></tr><tr><td>14</td><td>(C ^ A) &gt; D</td><td>3</td><td>Commutation</td></tr><tr><td>15</td><td>C &gt; (A &gt; D)</td><td>14</td><td>Exportation</td></tr><tr><td>16</td><td>A &gt; D</td><td>15,2</td><td>Modus Ponens</td></tr><tr><td>17</td><td>~F &gt; D</td><td>13,16</td><td>Hypothetical Syllogism</td></tr><tr><td>18</td><td>~~F v D</td><td>17</td><td>Material Implication</td></tr><tr><td>19</td><td>F v D</td><td>18</td><td>Double Negation</td></tr><tr><td>20</td><td>D v F</td><td>19</td><td>Commutation</td></tr></table>