Question 193060
<pre>
1. P • P
2. Q &#8594; ~P / ~Q
----------------
3. P             1    Simplification
4. ~~P           3    Double Negation
5. ~Q          2,4    Modus Tollens 
</pre>