SOLUTION: I am using the fitch program and trying to solve this proof: 1. A V B 2. A V C ----- A V (B ^C ) I am having to use nested subproofs. I am to the very end and can't see

Algebra ->  Proofs -> SOLUTION: I am using the fitch program and trying to solve this proof: 1. A V B 2. A V C ----- A V (B ^C ) I am having to use nested subproofs. I am to the very end and can't see      Log On


   

Question 331646: I am using the fitch program and trying to solve this proof:
1. A V B
2. A V C
-----
A V (B ^C )

I am having to use nested subproofs. I am to the very end and can't seem to figure it out!
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!


1. A V B
2. A V C 
-----
A V (B ^C )


(A v B) ^ (A v C)       Conjunction of premises

A v (B ^ C)             Distributive law for v

Edwin