SOLUTION: How do you construct a formal proof for the following argument: A ^ (B v C) to conclude with the goal, (A ^ B) v (A ^C)?

Question 99157: How do you construct a formal proof for the following argument:
A ^ (B v C) to conclude with the goal, (A ^ B) v (A ^C)?
Answer by Adam(64) (Show Source): You can put this solution on YOUR website!
This problem is constructed upon distributive law, which states relation between conjunction and disjunction(in fact it similiar to that of multiplication and addition- a*(b+c)=a*b+a*c ) Now getting back to logic we have
A&(B v c) (==) (A&B) v (A&C) - Distributive law of conjunction with respect to disjunction
It is quite amusing that whole problem is just 1 damn law- no thinkink - you know it and if not you are in deep.....this is how study books should not look like.....
RELATED QUESTIONS
Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by Edwin McCravy)

Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)

Construct a proof for the following: 1. ~C 2. (~A * B) v (~A * C). .·.... (answered by Edwin McCravy)

Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal... (answered by robertb)

I have 3 questions on my exercise that really have me stumped. Here are the directions... (answered by jim_thompson5910)

i need help for the following ,,,need to construct a formal proof for the following... (answered by Edwin McCravy)

Use conditional proof to derive the conclusion of the following argument. a) (N v D) (answered by jim_thompson5910)