Question 1026724
<table border=1><tr><th colspan="2">Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1.</td><td></td><td>(F v ~G) -&gt; ~L</td><td></td><td></td></tr><tr><td>:.</td><td></td><td>L -&gt; G</td><td></td><td></td></tr><tr><td>|</td><td>2.</td><td>L</td><td></td><td>Assumption for Conditional Proof</td></tr><tr><td>|</td><td>3.</td><td>~~L</td><td>2</td><td>Double Negation</td></tr><tr><td>|</td><td>4.</td><td>~(F v ~G)</td><td>1,3</td><td>Modus Tollens</td></tr><tr><td>|</td><td>5.</td><td>~F &amp; ~~G</td><td>4</td><td>De Morgan's Law</td></tr><tr><td>|</td><td>6.</td><td>~F &amp; G</td><td>5</td><td>Double Negation</td></tr><tr><td>|</td><td>7.</td><td>G &amp; ~F</td><td>6</td><td>Commutation</td></tr><tr><td>|</td><td>8.</td><td>G</td><td>7</td><td>Simplification</td></tr><tr><td>9.</td><td></td><td>L -&gt; G</td><td>2-8</td><td>Conditional Proof</td></tr></table>