SOLUTION: 1. I > ( L & W) 2. (~W > H) > S / I > S 3. ~I v (L & W) 1 MI 4. (~I v L) & (~I & W) 3 Dist. Can anybody finish this logical proof for me? Thanks!

Algebra ->  Proofs -> SOLUTION: 1. I > ( L & W) 2. (~W > H) > S / I > S 3. ~I v (L & W) 1 MI 4. (~I v L) & (~I & W) 3 Dist. Can anybody finish this logical proof for me? Thanks!       Log On


   

Question 981858: 1. I > ( L & W)
2. (~W > H) > S
/ I > S
3. ~I v (L & W) 1 MI
4. (~I v L) & (~I & W) 3 Dist.
Can anybody finish this logical proof for me? Thanks!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
You made a typo on line 4. It should be ~I v W instead of ~I & W

NumberStatementLines UsedReason
1I > ( L & W)
2(~W > H) > S
:.I > S
4~I v (L & W)1Material Implication
5(~I v L) & (~I v W)4Distribution
6(~I v W) & (~I v L)5Commutation
7~I v W6Simplification
8~~I > W7Material Implication
9I > W8Double Negation
10~(~W > H) v S2Material Implication
11~(~~W v H) v S10Material Implication
12~(W v H) v S11Double Negation
13(~W & ~H) v S12De Morgan's Law
14S v (~W & ~H)13Commutation
15(S v ~W) & (S v ~H)14Distribution
16S v ~W15Simplification
17~W v S16Commutation
18~~W > S17Material Implication
19W > S18Double Negation
20I > S9,19Hypothetical Syllogism