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

Algebra.Com
Question 193062: Construct Conditional Proofs
1. (A v B) → (C • D) / A → C
Answer by jim_thompson5910(35256)   (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

RELATED QUESTIONS

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)
What are the proofs? (A → B) & (A → C) ├ A→ (B & C) (answered by Edwin McCravy)
Construct Conditional Proofs 1. P → Q 2. (P • Q) → R 3. P → (R... (answered by jim_thompson5910)
Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
I need to help on the following proofs Proof 1 B ∧ F ¬(B ∧ G)... (answered by Edwin McCravy)
I AM STUCK NOW. 12. (A → B) & (A → C) ├ A→ (B & C) 1) (A... (answered by jim_thompson5910)
11) 1)A→(B→C) 2) ~C 3) ~D→A 4)C v~D Conclusion should by ~B,... (answered by jim_thompson5910)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)