SOLUTION: 1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) / M

Question 568394: 1. ~H
2. H v K
3. L >H
4. ~(K.~L) v (~L.M) / M
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1.  ~H
2.  H v K
3.  L >H
4.  ~(K * ~L) v (~L * M) / M
-----------------------------
5.  K                       2,1   Disjunctive Syllogism
6.  ~L                      3,1   Modus Tollens
7.  K * ~L                  5,6   Conjunction
8.  ~~(K * ~L)              7     Double Negation
9.  ~L * M                  4,8   Disjunctive Syllogism  
10. M * ~L                  9     Commutation
11. M                       10    Simplification

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

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

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

1. (W . (R v T ) ) > P 2. ( P v L ) > ~ H 3. W 4. R :. ~... (answered by jim_thompson5910)

Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)

Question 1 1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H ~Q Question 2... (answered by Edwin McCravy)

1. ~J v ~L 2. ~(J * L) -> ~M 3. ~E v (M v ~S) / ~(S * E) (answered by jim_thompson5910)

What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3.... (answered by Edwin McCravy)

P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)