document.write( "Question 1204165: please solve:\r
\n" ); document.write( "\n" ); document.write( "1. (K v S) v (T v W)
\n" ); document.write( "2. ~S + [T v ~(O v Z)]
\n" ); document.write( "3. K > ~(T v ~Z) /∴ T v W\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "1. (A > O) v (Z + ~T)
\n" ); document.write( "2. ~Z + ~O /∴ ~[(A v Z) + K] \n" ); document.write( "
Algebra.Com's Answer #840248 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (K v S) v (T v W)\r\n" );
document.write( "2. ~S + [T v ~(O v Z)]\r\n" );
document.write( "3. K > ~(T v ~Z) /∴ T v W\r\n" );
document.write( "\r\n" );
document.write( "4.            | ~(T v W)            Assumption for Indirect Proof\r\n" );
document.write( "5.            | (T v W) v (K v S)   1, Commutation \r\n" );
document.write( "6.            | K v S               5,4 Disjunctive Syllogism\r\n" );
document.write( "7.            | S v K               6, Commutation\r\n" );
document.write( "8.            | ~S                  2, Simplification\r\n" );
document.write( "9.            | K                   7,8, Disjunctive Syllogism\r\n" );
document.write( "10.           | ~(T v ~Z)           3,9, Modus Ponens \r\n" );
document.write( "11.           | ~T + ~~Z            10, DeMorgan's Law\r\n" );
document.write( "12.           | ~T + Z              11, Double Negation\r\n" );
document.write( "13.           | Z + ~T              12, Commutation \r\n" );
document.write( "14.           | Z                   13, Simplification\r\n" );
document.write( "15.           | [T v ~(O v Z)] + ~S  2, Commutation\r\n" );
document.write( "16.           | T v ~(O v Z)        15, Simplification\r\n" );
document.write( "17.           | ~T                  12, Simplification\r\n" );
document.write( "18.           | ~(O v Z)            16,17, Disjunctive Syllogism\r\n" );
document.write( "19.           | ~O + ~Z             17, DeMorgan's Law\r\n" );
document.write( "20.           | ~Z + ~O             18, Commutation\r\n" );
document.write( "21.           | ~Z                  19, Simplification\r\n" );
document.write( "22.           | Z + ~Z              13,19, Conjunction\r\n" );
document.write( "23. T v W    Lines 4-23 Indirect Proof       \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );