Question 1104306
<font color="black" face="times" size="3">
I'm using the ampersand in place of the dot
Also, I'm using the arrow notation instead of a horsehoe


<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>P &amp; Q</td><td></td><td></td></tr><tr><td>2</td><td>R -&gt; ~Q</td><td></td><td></td></tr><tr><td>:.</td><td>~R v ~P</td><td></td><td></td></tr><tr><td>3</td><td>Q &amp; P</td><td>1</td><td>Commutation</td></tr><tr><td>4</td><td>Q</td><td>3</td><td>Simplification</td></tr><tr><td>5</td><td>~~Q</td><td>4</td><td>Double Negation</td></tr><tr><td>6</td><td>~R</td><td>2,5</td><td>Modus Tollens</td></tr><tr><td>7</td><td>~R v ~P</td><td>6</td><td>Addition</td></tr></table>
</font>