Question 1061177
<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>(~F &amp; E) &gt; (G &gt; F)</td><td></td><td></td></tr><tr><td>2</td><td>F &gt; ~E</td><td></td><td></td></tr><tr><td>3</td><td>E</td><td></td><td></td></tr><tr><td>:.</td><td>~G</td><td></td><td></td></tr><tr><td>4</td><td>~~E</td><td>3</td><td>DN</td></tr><tr><td>5</td><td>~F</td><td>2,4</td><td>MT</td></tr><tr><td>6</td><td>~F &amp; E</td><td>5,3</td><td>Conj</td></tr><tr><td>7</td><td>G &gt; F</td><td>1,6</td><td>MP</td></tr><tr><td>8</td><td>~G</td><td>7,5</td><td>MT</td></tr></table>


Abbreviations/Acronyms used:


Conj = Conjunction
DN = Double Negation
MP = Modus Ponens
MT = Modus Tollens


</font>