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)?

Algebra ->  Proofs -> 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)?      Log On


   



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) About Me  (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.....