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