document.write( "Question 1140965: How would you prove this argument valid ?
\n" ); document.write( "1. A > H
\n" ); document.write( "2. G > S
\n" ); document.write( "3. ~ K > (A v G)
\n" ); document.write( "4. ~ K & D
\n" ); document.write( "5.( H v S)> J /J \n" ); document.write( "

Algebra.Com's Answer #761576 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!


\n" );
document.write( "How would you prove this argument valid ? 
\n" );
document.write( "1. A > H
\n" );
document.write( "2. G > S
\n" );
document.write( "3. ~ K > (A v G) 
\n" );
document.write( "4. ~ K & D
\n" );
document.write( "5.( H v S)> J   /J \r
\n" );
document.write( "\n" );
document.write( "-------\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "1. A > H
\n" );
document.write( "2. G > S
\n" );
document.write( "3. ~ K > (A v G) 
\n" );
document.write( "4. ~ K & D
\n" );
document.write( "5.( H v S)> J
\n" );
document.write( "6. ~K         4, SIMP
\n" );
document.write( "7. A v G      6,3  MP 
\n" );
document.write( "8.:: A        Conditional Proof (CP) assumption #1
\n" );
document.write( "9.:: H        8,1  MP
\n" );
document.write( "10.:: H v S   9  ADD
\n" );
document.write( "11.:: G       CP assumption #2
\n" );
document.write( "12.:: S       12,2 MP
\n" );
document.write( "13.:: S v H   12 ADD
\n" );
document.write( "14.:: H v S   13 COMM
\n" );
document.write( "15.:: A v G --> H v S   8-14 Proof by Cases (PBC)
\n" );
document.write( "16. A v G --> H v S     8-15 CP
\n" );
document.write( "17. H v S     7,16  MP
\n" );
document.write( "15. J         17,5  MP\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "EDITED 5/15:  Corrected line 17 from \"5,16  MP\"  to  \"7,16  MP\"
\n" );
document.write( "  \n" );
document.write( "

\n" );