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

Algebra.Com
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)   (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


RELATED QUESTIONS

15. Determine whether the following symbolized argument is valid or invalid by... (answered by jim_thompson5910)
S = (N v H) / S v ~N // S ⊃ H This argument is: a. Invalid;... (answered by jim_thompson5910)
determine if the argument is valid or invalid. give a reason to justify answer. if im... (answered by MathLover1,Theo)
Prove the argument valid. Where = stands for a bi-conditional. ~(A & B) = ~C (D v E)... (answered by jim_thompson5910)
Determine whether the argument is valid or invalid. All B is C. All C is A.... (answered by stanbon)
Determine if the argument is valid or invalid. Give a reason to justity answer. If... (answered by drk)
INSTRUCTIONS: Use ordinary truth tables to answer the following problems. Construct the... (answered by solver91311)
Use an ordinary truth table to answer the following problems. Construct the truth table... (answered by Edwin McCravy,AnlytcPhil)
Decide whether the argument is valid given premises A,B, and C, and the conclusion. A.... (answered by jorel1380)