Question 243039
<pre>
1.  O -> P
2.  P -> ~P       |- ~O
----------------
3.  ~P v ~P             2    Material Implication
4.  ~P                  3    Tautology
5.  ~O                  1,4  Modus Tollens
</pre>