SOLUTION: Need help solving this proof: 1. ~O • K 2. ~O >(~R v A) 3. (~R > ~W) • (A > G) 4. (~W > O) • (G > Z) / Z Thanks!!

Algebra ->  Proofs -> SOLUTION: Need help solving this proof: 1. ~O • K 2. ~O >(~R v A) 3. (~R > ~W) • (A > G) 4. (~W > O) • (G > Z) / Z Thanks!!       Log On


   

Question 1090484: Need help solving this proof:
1. ~O • K
2. ~O >(~R v A)
3. (~R > ~W) • (A > G)
4. (~W > O) • (G > Z)
/ Z

Thanks!!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

Note: I'm going to use the ampersand symbol & in place of the dot notation.

This is one way to do the derivation
NumberStatementLines UsedReason
1~O & K
2~O > (~R v A)
3(~R > ~W) & (A > G)
4(~W > O) & (G > Z)
:.Z
5~O1Simplification
6~R v A2,5Modus Ponens
7~W v G3,6Constructive Dilemma
8O v Z4,7Constructive Dilemma
9Z8,5Disjunctive Syllogism