SOLUTION: Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight rules of implication to prove this argument is valid. 1. H ⊃ ~A 2. A /~(H v ~A)

Algebra ->  Proofs -> SOLUTION: Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight rules of implication to prove this argument is valid. 1. H ⊃ ~A 2. A /~(H v ~A)       Log On


   

Question 1178950: Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight rules of implication to prove this argument is valid.
1. H ⊃ ~A
2. A /~(H v ~A)
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

 1. H ⊃ ~A
 2. A           /~(H v ~A)

 3. ~~A          2, DN
 4. ~H           1,3, MT
 5. ~H • ~~A     4,3, conj.
 6. ~(H v ~A)    5, DM

Edwin