Question 1061179
<font color=black size=3>
<table border=1 cellpadding=3><tr><th>Number</th><th>Statement</th><th>Lines Used</th><th>Reason</th></tr><tr><td>1</td><td>(I v K) &gt; ~L</td><td></td><td></td></tr><tr><td>2</td><td>(H v J) &gt; I</td><td></td><td></td></tr><tr><td>3</td><td>~K</td><td></td><td></td></tr><tr><td>4</td><td>H v K</td><td></td><td></td></tr><tr><td>:.</td><td>~L</td><td></td><td></td></tr><tr><td>5</td><td>K v H</td><td>4</td><td>Comm</td></tr><tr><td>6</td><td>H</td><td>5,3</td><td>DS</td></tr><tr><td>7</td><td>H v J</td><td>6</td><td>Add</td></tr><tr><td>8</td><td>I</td><td>2,7</td><td>MP</td></tr><tr><td>9</td><td>I v K</td><td>8</td><td>Add</td></tr><tr><td>10</td><td>~L</td><td>1,9</td><td>MP</td></tr></table>


Abbreviations/Acronyms used:


Add = Addition
Comm = Commutation
DS = Disjunctive Syllogism
MP = Modus Ponens


</font>