SOLUTION: 1. (A v B) ⊃ (C v D) 2. C ⊃ E 3. A • E /∴ E v D

Algebra ->  Proofs -> SOLUTION: 1. (A v B) ⊃ (C v D) 2. C ⊃ E 3. A • E /∴ E v D      Log On


   

Question 1156256: 1. (A v B) ⊃ (C v D)
2. C ⊃ E
3. A • E /∴ E v D
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!

1. (A v B) ⊃ (C v D)	
2. C ⊃ E			
3. A • E			/∴ E v D

4. E • A        3, commutation
5. E            4, simplification
6. E v D        5, addition

[There is no need for 1 and 2.]

Edwin