document.write( "Question 1067206: Hello team, would you be so kind to assist with this problem below. I’ve tried to figure out but was wrong. some help is greatly appreciated! \r
\n" ); document.write( "\n" ); document.write( "use one of the indirect proof techniques (reduction ad absurdum or conditional proof RAA) to demonstrate the validity of the argument -
\n" ); document.write( "
\n" ); document.write( "(G • P) → K, E → Z, ~P → ~ Z, G → (E v L), therefore, (G • ~L) → K
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #682489 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1. (G • P) → K\r\n" );
document.write( " 2. E → Z\r\n" );
document.write( " 3. ~P → ~Z\r\n" );
document.write( " 4. G → (E v L)   / (G • ~L) → K\r\n" );
document.write( "\r\n" );
document.write( "              | 5. G • ~L         ACP\r\n" );
document.write( "              | 6. G            5, Simp.\r\n" );
document.write( "              | 7. ~L • G       5, Comm.\r\n" );
document.write( "              | 8. ~L           7, Simp. \r\n" );
document.write( "              | 7. E v L        4,6, MP\r\n" );
document.write( "              | 9. L v E        7, Comm\r\n" );
document.write( "              |10. E            9,8, DS\r\n" );
document.write( "              |11. Z            2,10 MP\r\n" );
document.write( "              |12. ~~Z → ~~P    3, Trans.\r\n" );
document.write( "              |13. Z → P        12, DN\r\n" );
document.write( "              |14. P            13,11, MP\r\n" );
document.write( "              |15. G • P        6,14, Conj.\r\n" );
document.write( "              |16. K            1,15, MP\r\n" );
document.write( "\r\n" );
document.write( "17. (G • ~L) → K           5-16  CP\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
\n" );