document.write( "Question 981862: Hi guys! I'm a stuck on this proof! Can someone explain the rest of the problem?\r
\n" ); document.write( "\n" ); document.write( "1. K > (Q & V)
\n" ); document.write( "/ K > V\r
\n" ); document.write( "\n" ); document.write( "2. K > (V & Q) 1 Com.
\n" ); document.write( "3. K > V 2 Simp.\r
\n" ); document.write( "\n" ); document.write( "I got those steps, but don't seem to know where to go next. Thanks! \n" ); document.write( "

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

You can put this solution on YOUR website!
Going from K > (V & Q) to K > V is NOT a valid operation. The simplification rule only works on entire lines (not parts of them). \r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	K > (Q & V)
:.	K > V
2	K > (V & Q)	1	Commutation
3	~K v (V & Q)	2	Material Implication
4	(~K v V) & (~K v Q)	3	Distribution
5	~K v V	4	Simplification
6	K > V	5	Material Implication

\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Notice how on line 5, the simplification was used on the entire line.
\n" ); document.write( " \n" ); document.write( "

\n" );