SOLUTION: I AM STUCK NOW. 12. (A → B) & (A → C) ├ A→ (B & C) 1) (A → B) & (A → C) A 2) A PA 3) (A → B) 1 & O 4) (A → C) 1 &

Algebra ->  Proofs -> SOLUTION: I AM STUCK NOW. 12. (A → B) & (A → C) ├ A→ (B & C) 1) (A → B) & (A → C) A 2) A PA 3) (A → B) 1 & O 4) (A → C) 1 &      Log On


   

Question 1087176: I AM STUCK NOW.
12. (A → B) & (A → C) ├ A→ (B & C)
1) (A → B) & (A → C) A
2) A PA
3) (A → B) 1 & O
4) (A → C) 1 & O

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
I'm assuming that you're given the premise (A -> B) & (A -> C) and you want to prove it leads to A -> (B & C)
If so, then here is one way to do the derivation using a conditional proof