document.write( "Question 196028: I need help finishing this proof.\r
\n" ); document.write( "\n" ); document.write( "(P . Q) -> (R v S) :. (P -> R) v (Q -> S)\r
\n" ); document.write( "\n" ); document.write( "1. (P . Q) -> (R v S) \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "1.  (P . Q) -> (R v S) :. (P -> R) v (Q -> S)\r\n" );
document.write( "---------------------------------\r\n" );
document.write( "2.  ~(P . Q) v (R v S)                   1    Material Implication\r\n" );
document.write( "3.  (~P v ~Q) v (R v S)                  2    De Morgan's Law\r\n" );
document.write( "4.  ~P v (~Q v R) v S                    3    Association\r\n" );
document.write( "5.  ~P v (R v ~Q) v S                    4    Commutation\r\n" );
document.write( "6.  (~P v R) v (~Q v S)                  5    Association\r\n" );
document.write( "7.  (P -> R) v (Q -> S)                  6    Material Implication\r\n" );
document.write( "

\n" ); document.write( "

\n" );