document.write( "Question 1104863: 1. P V Q
\n" ); document.write( "2. Q -> (R & S)
\n" ); document.write( "3. (R V P) -> T / T \n" ); document.write( "

Algebra.Com's Answer #719620 by Edwin McCravy(20055) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r\n" );
document.write( "\r\n" );
document.write( "1. P V Q\r\n" );
document.write( "2. Q -> (R & S)\r\n" );
document.write( "3. (R V P) -> T  /  T\r\n" );
document.write( "\r\n" );
document.write( "               | 4. ~T              AIP\r\n" );
document.write( "               | 5. ~(R V P)    3,4, MT\r\n" );
document.write( "               | 6. ~R & ~P       5, DM\r\n" );
document.write( "               | 7. ~R            6, Simp\r\n" );
document.write( "               | 8. ~R V ~S       7, Add\r\n" );
document.write( "               | 9. ~(R & S)      8, DM\r\n" );
document.write( "               |10. ~Q         2,10, MT\r\n" );
document.write( "               |11. Q V P         1, Comm\r\n" );
document.write( "               |12. P         11,10, DS\r\n" );
document.write( "               |13. P V R        12, Add\r\n" );
document.write( "               |14. R V P        13, Comm\r\n" );
document.write( "               |15. T          14,3, MP\r\n" );
document.write( "               |16. T & ~T     15,4, Conj.\r\n" );
document.write( "17.  T                         4-16 IP\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );