document.write( "Question 1179186: 1. ~(U v R)
\n" ); document.write( "2. (~R v N) ⊃ (P * H)
\n" ); document.write( "3. Q ⊃ ~H / ~Q \n" ); document.write( "

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

You can put this solution on YOUR website!


\n" );
document.write( "1.      ~(U v R)        
\n" );
document.write( "2.      (~R v N) ⊃ (P * H)      
\n" );
document.write( "3.      Q ⊃ ~H      / ~Q
\n" );
document.write( "-------\r
\n" );
document.write( "
\n" );
document.write( "\n" );
document.write( "1.   ~(U v R)             Premise
\n" );
document.write( "2.   (~R v N) ⊃ (P * H)   Premise
\n" );
document.write( "3.   Q ⊃ ~H               Premise
\n" );
document.write( "4.   ~U * ~R              1, DeMorgan's (DeM)
\n" );
document.write( "5.   ~R                   4, Simplification (SIMP) 
\n" );
document.write( "6.   ~R v N               5, Addition (ADD)
\n" );
document.write( "7.   P * H                6,2  Modus Ponens (MP)
\n" );
document.write( "8.   H                    7, SIMP
\n" );
document.write( "9.   ~~H                  8, Double Negation (DN)  
\n" );
document.write( "10.  ~Q                   9,3  Modus Tollens (MT)\r
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );