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.

Algebra ->  Proofs -> 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.      Log On


   

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) About Me  (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