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

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) (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

RELATED QUESTIONS
Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M... (answered by Edwin McCravy)

Create a proof for the following argument: 1. D ⊃ (∼G ⊃ ∼H) 2. (K ∨ M) ⊃ H (answered by Edwin McCravy)

1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) /... (answered by jim_thompson5910)

1. ~ ( H v ~K ) 2. L --> H / L --> M (answered by Edwin McCravy)

Using the eighteen valid argument forms, prove that the following arguments are valid.... (answered by math_helper)

Prove the following: 1. O --> (H * M) 2. (O --> G) --> (H --> ~M) 3. ~G --> (~H... (answered by Edwin McCravy)

(H ∨ M) ∨ L L ⊃ H H ⊃ (M ⊃ H) ∼(M ⊃ H)... (answered by solver91311)

CREATE A PROOF FOR THE FOLLOWING ARGUMENT (R ∨ M) ⊃ S M ∨ C (C ∨ H) ⊃ R... (answered by mccravyedwin)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by math_helper)