SOLUTION: Is the following argument valid or invalid? (P) A ⊃ (B • C) (P) (B v D) ⊃ E (C) A ⊃ E

Algebra ->  Proofs -> SOLUTION: Is the following argument valid or invalid? (P) A ⊃ (B • C) (P) (B v D) ⊃ E (C) A ⊃ E      Log On


   

Question 1139524: Is the following argument valid or invalid?
(P) A ⊃ (B • C)
(P) (B v D) ⊃ E
(C) A ⊃ E
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!

Valid. 


Here is the proof:



1.  A --> B & C

2.  B v D --> E

3.:: A         Conditional Proof (CP) assumption

4.:: B & C     3,1  Modus Ponens (MP)

5.:: B         4 Simplification (SIMP)

6.:: B v D     5 Addition (ADD)

7.:: E         6,2 MP

8.  A --> E    3-7 CP