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

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

RELATED QUESTIONS
A v (B -> A) ~A . C / ~B I am trying to solve this proof and i never get it right (answered by )
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)
I am trying to solve this proof: premises: A or B, A or C goal: A or (B and C) I... (answered by richard1234,robertb)
I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C) > (E &... (answered by jim_thompson5910)
I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)
1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)
Using an indirect proof to solve this problem: 1. B ⊃ (C ⊃~B) 2. A... (answered by jim_thompson5910)
I need help finishing this proof. (A . B) -> (E -> A), (A . B) v C, C -> D :. (E -> A) (answered by jim_thompson5910)
1. A -> ~(B v C) 2. ~D -> (~A -> ~E) 3. ~(~E v F) 4. ~F -> (A -> B) /D I don't... (answered by Edwin McCravy)