Question 459028
<pre>
1.   P * P
2.   Q -> ~P    / :. ~Q
--------------------------
3.   P                   1      Simplification
4.   ~~P                 3      Double Negation
5.   ~Q                  2,4    Modus Tollens
</pre>