SOLUTION: may you please help me with solving: 1. O -> P P -> ~P ________ |- ~O

Algebra ->  Proofs -> SOLUTION: may you please help me with solving: 1. O -> P P -> ~P ________ |- ~O       Log On


   

Question 243039: may you please help me with solving:
1. O -> P
P -> ~P
________
|- ~O
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  O -> P
2.  P -> ~P       |- ~O
----------------
3.  ~P v ~P             2    Material Implication
4.  ~P                  3    Tautology
5.  ~O                  1,4  Modus Tollens