document.write( "Question 593929: I can only use the 8 implicational rules to solve this problem.
\n" ); document.write( "1. ~Fv~G
\n" ); document.write( "2. ~F > Z
\n" ); document.write( "3. ~G > ~R
\n" ); document.write( "4. (Zv~R) > (U > P)
\n" ); document.write( "5. ~P :. ~U \n" ); document.write( "
Algebra.Com's Answer #376547 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.   ~F v ~G               \r\n" );
document.write( "2.   ~F > Z               \r\n" );
document.write( "3.   ~G > ~R              \r\n" );
document.write( "4.   (Z v ~R) > (U > P)      \r\n" );
document.write( "5.   ~P                             :. ~U\r\n" );
document.write( "-----------------------------------------------------------------------\r\n" );
document.write( "6.   (~F > Z) . (~G > ~R)                  2,3      Conjunction\r\n" );
document.write( "7.   Z v ~R                                6,1      Constructive Dilemma\r\n" );
document.write( "8.   U > P                                 4,7      Modus Ponens\r\n" );
document.write( "9.   ~U                                    8,5      Modus Tollens\r\n" );
document.write( "
\n" ); document.write( "
\n" );