Question 1042389
<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>P v Q</td><td></td><td></td></tr><tr><td>2</td><td>(Q v U) -&gt; (P -&gt; T)</td><td></td><td></td></tr><tr><td>3</td><td>~P</td><td></td><td></td></tr><tr><td>4</td><td>(~P v R) -&gt; (Q -&gt; S)</td><td></td><td></td></tr><tr><td>:.</td><td>T v S</td><td></td><td></td></tr><tr><td>5</td><td>Q</td><td>1,3</td><td>DS</td></tr><tr><td>6</td><td>Q v U</td><td>5</td><td>Add</td></tr><tr><td>7</td><td>P -&gt; T</td><td>2,6</td><td>MP</td></tr><tr><td>8</td><td>~P v R</td><td>3</td><td>Add</td></tr><tr><td>9</td><td>Q -&gt; S</td><td>4,8</td><td>MP</td></tr><tr><td>10</td><td>(P -&gt; T) &amp; (Q -&gt; S)</td><td>7,9</td><td>Conj</td></tr><tr><td>11</td><td>T v S</td><td>10,1</td><td>CD</td></tr></table>


Abbreviations/Acronyms Used
Add = Addition
CD = Constructive Dilemma
Conj = Conjunction
DS = Disjunctive Syllogism
MP = Modus Ponens