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.Com
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) (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
RELATED QUESTIONS
What are the proofs?
(A → B) & (A → C) ├ A→ (B & C) (answered by Edwin McCravy)
Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)
Can you please help me solve this proof? I am stuck at line six.
1. (A → E)... (answered by jim_thompson5910)
I need to help on the following proofs
Proof 1
B ∧ F
¬(B ∧ G)... (answered by Edwin McCravy)
Construct Conditional Proofs
1. (A v B) → (C • D) / A → C
(answered by jim_thompson5910)
Complete the following proofs using the Conditional Proof method.
1) 1. ~(P ∙... (answered by solver91311)
1. (A∨G)→K
2. K→(B→F) (answered by solver91311)
I don't know how to solve this two logic proofs, please help!
(A→B)→A... (answered by khwang)
P v Q, P → (T → S), P → T, S ↔ Q ├ S
1. P v Q A
(answered by jim_thompson5910)