SOLUTION: Please help me solve 1. h -> ~a 2. a // ~(h v ~a)

Algebra ->  Proofs -> SOLUTION: Please help me solve 1. h -> ~a 2. a // ~(h v ~a)      Log On


   

Question 928685: Please help me solve 1. h -> ~a
2. a
// ~(h v ~a)
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
1. h -> ~a
2. a
     // ~(h v ~a)

3. ~~a -> ~h     1,CP
4. a -> ~h       3,DN
5. ~h            4,2,MP
6. ~h & a        5,2,conjunction
7. ~h & ~~a      6,DN
8. ~(h v ~a)     7,DM

Edwin