SOLUTION: Construct Conditional Proofs 1. (A v B) → (C • D) / A → C

Algebra ->  Proofs -> SOLUTION: Construct Conditional Proofs 1. (A v B) → (C • D) / A → C       Log On


   

Question 193062: Construct Conditional Proofs
1. (A v B) → (C • D) / A → C
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1. (A v B) → (C • D) / A → C
----------------------------
2. A                              Assumption
3. C • D                    1,2   Modus Ponens
4. C                          3   Simplification 
5. A -> C                   2,4   Conditional Proof