document.write( "Question 1090484: Need help solving this proof:
\n" ); document.write( "1. ~O • K
\n" ); document.write( "2. ~O >(~R v A)
\n" ); document.write( "3. (~R > ~W) • (A > G)
\n" ); document.write( "4. (~W > O) • (G > Z)
\n" ); document.write( "/ Z \r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Thanks!! \n" ); document.write( "

Algebra.Com's Answer #704921 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "Note: I'm going to use the ampersand symbol & in place of the dot notation.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "This is one way to do the derivation
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

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

\n" ); document.write( " \n" ); document.write( "

\n" );