Question 1005369
<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>M -&gt; (K -&gt; L)</td><td></td><td></td></tr><tr><td>2</td><td></td><td>(L v N) -&gt; J</td><td></td><td></td></tr><tr><td>:.</td><td></td><td>M -&gt; (K -&gt; J)</td><td></td><td></td></tr><tr><td>|</td><td>3</td><td>M*K</td><td></td><td>ACP</td></tr><tr><td>|</td><td>4</td><td>(M*K) -&gt; L</td><td>1</td><td>Exp</td></tr><tr><td>|</td><td>5</td><td>L</td><td>4,3</td><td>MP</td></tr><tr><td>|</td><td>6</td><td>L v N</td><td>5</td><td>Add</td></tr><tr><td>|</td><td>7</td><td>J</td><td>2,6</td><td>MP</td></tr><tr><td>8</td><td></td><td>(M * K) -&gt; J</td><td>3-7</td><td>CP</td></tr><tr><td>9</td><td></td><td>M -&gt; (K -&gt; J)</td><td>8</td><td>Exp</td></tr></table>

Abbreviations/Acronyms Used

ACP = Assumption for Conditional Proof
Add = Addition
CP = Conditional Proof
Exp = Exportation
MP = Modus Ponens