SOLUTION: Hey guys, quick question. How do I work to prove this conclusion? 1. (L > I) > (D>A) 2. (L>D) > (D>I) 3. (L>A) > ~(I & A) 4. L>D Conclusion: ~(I&A) Any help would be a

Algebra.Com
Question 979816: Hey guys, quick question. How do I work to prove this conclusion?
1. (L > I) > (D>A)
2. (L>D) > (D>I)
3. (L>A) > ~(I & A)
4. L>D
Conclusion: ~(I&A)
Any help would be appreciated!
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
NumberStatementLines UsedReason
1(L > I) > (D>A)
2(L>D) > (D>I)
3(L>A) > ~(I & A)
4L>D
:.~(I&A)
5D > I2,4Modus Ponens
6L > I4,5Hypothetical Syllogism
7D > A1,6Modus Ponens
8L > A4,7Hypothetical Syllogism
9~(I&A)3,8Modus Ponens
RELATED QUESTIONS

Hi all, I have started this proof and got a bit lost... 1. ~H > (~C >W) 2. W v ~H 3. (answered by jim_thompson5910)
1. (EvF)$(E->L,L->M,D.(D&F(->F)->L |- L&M 2. FvI, F->(-D->N),... (answered by lynnlo)
INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)
can i have help solving these proofs a regular proof to derive the conclusion of the... (answered by jim_thompson5910)
How do i solve a+(n-3)d=l for... (answered by macston)
1. A -> ~(B v C) 2. ~D -> (~A -> ~E) 3. ~(~E v F) 4. ~F -> (A -> B) /D I don't... (answered by Edwin McCravy)
Half the perimeter of a garden is 18 feet. The garden is 8 feet longer than it is wide.... (answered by Earlsdon)
a=2h(l+w)...how do i work... (answered by Here2Help)
Well I got most of my work done, but this one is stumping me. Logic Proofs. Premises: (answered by jim_thompson5910)