SOLUTION: Create proof for the following argument 1. (H ∨ M) ∨ L 2. L ⊃ H 3. H ⊃ (M ⊃ H) 4. ∼(M ⊃ H) /M 5.

Algebra ->  Proofs -> SOLUTION: Create proof for the following argument 1. (H ∨ M) ∨ L 2. L ⊃ H 3. H ⊃ (M ⊃ H) 4. ∼(M ⊃ H) /M 5.      Log On


   

Question 1139913: Create proof for the following argument
1. (H ∨ M) ∨ L
2. L ⊃ H
3. H ⊃ (M ⊃ H)
4. ∼(M ⊃ H) /M
5.
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
Create proof for the following argument
1. (H ∨ M) ∨ L
2. L ⊃ H
3. H ⊃ (M ⊃ H)
4. ∼(M ⊃ H)         /M

5. ~(~M ∨ H)         4, material implication
6. ~~M • ~H          5, deMorgan's law
7. M • ~H            6, double negation
8. M                 7, simplification

Notice that in this argument, we did not need to use the first three
premises but only the fourth.

Edwin