SOLUTION: I am stuck, I do not know how to finish this. 1. (LvM).(Lv~S) 2. A->~L 3. A->(~MvS) :. ~A |4. ~A

Algebra.Com
Question 188876: I am stuck, I do not know how to finish this.
1. (LvM).(Lv~S)
2. A->~L
3. A->(~MvS) :. ~A
|4. ~A assume
||5. ~MvS assume
||6. LvM 1, simp
||7. Lv~S 1, simp
||8. ~~(A->~L) 2, DN

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
Here's one way to do it:

1. (L v M) & (L v ~S)
2. A -> ~L
3. A -> (~M v S)  :.  ~A
-------------------------
4.  L v (M & ~S)              1    Distribution
5.  ~~L v (M & ~S)            4    Double Negation
6.  ~L -> (M & ~S)            5    Material Implication
7.  A -> (M & ~S)           2,6    Hypothetical Syllogism
8.  A -> (~M v ~~S)           3    Double Negation
9.  A -> ~(M & ~S)            8    De Morgan's Law
10. ~~(M & ~S) -> ~A          9    Transposition
11. (M & ~S) -> ~A           10    Double Negation
12. A -> ~A                7,11    Hypothetical Syllogism
13. ~A v ~A                  12    Material Implication
14. ~A                       13    Tautology

RELATED QUESTIONS

Hi guys! I'm a stuck on this proof! Can someone explain the rest of the problem? 1. K... (answered by jim_thompson5910)
Very lost, can somebody please help me finish this proof? 1. (N > K) & (S > L) 2.(N > (answered by jim_thompson5910)
I am stuck on finding a quadratic model for (1,-2), (2,-2), (3,-4). I do not know how to... (answered by stanbon)
How do I simp... (answered by Alwayscheerful)
I don't know if I am on the right track or not , and I am not sure how to finish. 2... (answered by stanbon)
I am preparing for my final and am stuck studying on this problem. Please help me by... (answered by Edwin McCravy)
1. A v B 2. A ≡ (C & D) 3. B ⊃ (D & G)/D I am trying to solve this equation. i... (answered by math_helper)
Can you please help me solve this proof? I am stuck at line six. 1. (A → E)... (answered by jim_thompson5910)
I am having a difficult time simplifying this problem: (15625a^2/15b^-1/3)^5/6 The... (answered by stanbon)