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

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

Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!
Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!

   

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

Answer by jim_thompson5910(21667) 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