SOLUTION: Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal proof of validity for each argument.. 1. A => B A v (C ^ D) -B ^ -E Therefore C.

Question 1050795: Good morning sir's and ma'ams..Kindly help me answer the following:
Construct a formal proof of validity for each argument..
1. A => B
A v (C ^ D)
-B ^ -E
Therefore C.
2. W => X
(W ^ X)=>Y
(W ^ Y)=>Z
Therefore W => Z.
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
I will do #1 only. I leave the second to you.
1. A v (C ^ D)-------------hypothesis
2. (A v C) ^ (A v D)-------distributivity
3. A v C ------------------simplification
4. A-> B -----------------hypothesis
5. ~B -> ~A ---------------contrapositive of #4
6. ~B ^ ~E ---------------hypothesis
7. ~B -------------------simplification
8. ~A -------------------modus ponens from #5 and #7
9. C ---------------------disjunctive syllogism from #3 and #8

RELATED QUESTIONS
Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)

Please help me answer this. Thank you in advance I. Construct formal proof of validity... (answered by Edwin McCravy)

Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)

construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)

please help to construct a formal proof of validity 1.p>q... (answered by MathLover1)

I know it's a lot, but I've got no where else to go. Please. > is an if/then symbol (answered by richwmiller)

Construct a formal proof for the following argument 1. P>R 2. (Q&P)vP... (answered by Edwin McCravy)

I have 3 questions on my exercise that really have me stumped. Here are the directions... (answered by jim_thompson5910)

1. use the proof method (M9) to construct a formal proof to demonstrate that the... (answered by Edwin McCravy)