SOLUTION: Hi, I was only given the assumption of ~B and then told to construct a proof with the conclusion of ~(A&B), and I was wondering if you could help me solve this? Thanks

Algebra ->  Proofs -> SOLUTION: Hi, I was only given the assumption of ~B and then told to construct a proof with the conclusion of ~(A&B), and I was wondering if you could help me solve this? Thanks       Log On


   

Question 980047: Hi, I was only given the assumption of ~B and then told to construct a proof with the conclusion of ~(A&B), and I was wondering if you could help me solve this?
Thanks
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Start with ~B

Use the addition rule to get ~B v ~A

Then use commutation to get ~A v ~B

Finally use De Morgan's law to get ~(A & B)