SOLUTION: Need help solving this proof: 1. ~O � K 2. ~O >(~R v A) 3. (~R > ~W) � (A > G) 4. (~W > O) � (G

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!!

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

Number	Statement	Lines Used	Reason
1	~O & K
2	~O > (~R v A)
3	(~R > ~W) & (A > G)
4	(~W > O) & (G > Z)
:.	Z
5	~O	1	Simplification
6	~R v A	2,5	Modus Ponens
7	~W v G	3,6	Constructive Dilemma
8	O v Z	4,7	Constructive Dilemma
9	Z	8,5	Disjunctive Syllogism

RELATED QUESTIONS
I need help finishing this proof. 1. ~ (A v B) 2. E > B 3. E v (G > U) 4. H v (answered by jim_thompson5910)

please solve: 1. (K v S) v (T v W) 2. ~S + [T v ~(O v Z)] 3. K > ~(T v ~Z) /∴ T... (answered by Edwin McCravy)

please solve these problems with steps: _______________________ 1. ~(K v A) > (R v W) (answered by Edwin McCravy)

Prove this with steps please 1 [(A v ~B) v T]->(X->M) 2 (A v R)->(Z->O) 3 A&(X v Z) (answered by Edwin McCravy)

Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)

Very lost, can somebody please help me finish this proof? 1. (N > K) & (S > L) 2.(N > (answered by jim_thompson5910)

3√x g(x) find expressions a. ( f o g)(4) b. (g o f)(2) c. (f o f)(1) d. (g o g) (answered by fractalier)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1)

Question 1 please help me with this question. If the universal set U=... (answered by MathLover1,math_tutor2020)