Question 979812
<table border=1><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1.</td><td>~X &gt; C</td><td></td><td></td></tr><tr><td>2.</td><td>~J &gt; [(~Q &gt; C) &gt; (~J &gt; ~C)]</td><td></td><td></td></tr><tr><td>3.</td><td>~Q &gt; ~X</td><td></td><td></td></tr><tr><td>4.</td><td>~J</td><td></td><td></td></tr><tr><td>:.</td><td>~~Q</td><td></td><td></td></tr><tr><td>5.</td><td>(~Q &gt; C) &gt; (~J &gt; ~C)</td><td>2,4</td><td>Modus Ponens</td></tr><tr><td>6.</td><td>~Q &gt; C</td><td>3,1</td><td>Hypothetical Syllogism</td></tr><tr><td>7.</td><td>~J &gt; ~C</td><td>5,6</td><td>Modus Ponens</td></tr><tr><td>8.</td><td>~C</td><td>7,4</td><td>Modus Ponens</td></tr><tr><td>9.</td><td>~~X</td><td>1,8</td><td>Modus Tollens</td></tr><tr><td>10.</td><td>~~Q</td><td>3,9</td><td>Modus Tollens</td></tr></table>