Question 1171851
<font color=black size=3>
I'm going to use an arrow symbol instead of a horsehoe symbol.
One way to do the derivation is this:
<table border = "1" cellpadding = "5"><tr><td>Number</td><td>Statement</td><td>Lines Used</td><td>Reason</td></tr><tr><td>1</td><td>(Q -> ~J) -> (M -> ~D)</td><td></td><td></td></tr><tr><td>2</td><td>Q -> M</td><td></td><td></td></tr><tr><td>3</td><td>M -> ~J</td><td></td><td></td></tr><tr><td>:.</td><td>Q -> ~D</td><td></td><td></td></tr><tr><td>4</td><td>Q -> ~J</td><td>2,3</td><td>Hypothetical Syllogism</td></tr><tr><td>5</td><td>M -> ~D</td><td>1,4</td><td>Modus Ponens</td></tr><tr><td>6</td><td>Q -> ~D</td><td>2,5</td><td>Hypothetical Syllogism</td></tr></table>
</font>