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

Question 1026080: 1. ~ ( H v ~K )
2. L --> H / L --> M

Answer by Edwin McCravy(20056) (Show Source): You can put this solution on YOUR website!

1. ~(Hv~K) 
2. L-->H      /L-->M

3. ~H&~~K      1, DM    (DeMorgan's law) 
4. ~H&K        3, DN    (double negation)
5. ~H          4, simp. (simplification)
6. ~L          2,5, MT  (Modus tollens)
7. ~LvM        6, add.  (addition)
8. L-->M       7, MI    (material implication)


[This is an illustration of the fact that a false statement
implies anything. :)  ]

Edwin

RELATED QUESTIONS
1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) /... (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. (I v K) > ~L 2. (H v J) > I 3. ~K 4. H v K... (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)

I need help finishing this proof. (~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L 1. (answered by jim_thompson5910)

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

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

1) R= 0.8205 L-atm / Kmol h= 2.0 mol T = 300 K P= 2.5 atm V = unknown (answered by Alan3354)

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