document.write( "Question 1194062: Show that each of the arguments is valid by deriving the conclusion from the given\r
\n" ); document.write( "\n" ); document.write( "premises.\r
\n" ); document.write( "\n" ); document.write( "{5} [11] C: W\r
\n" ); document.write( "\n" ); document.write( "-------------------------------------------------\r
\n" ); document.write( "\n" ); document.write( "1: X ∨ Y\r
\n" ); document.write( "\n" ); document.write( "2: Z ⊃ X\r
\n" ); document.write( "\n" ); document.write( "3: (Y ∙ ~Z) ⊃ (W ∙ ~Z)\r
\n" ); document.write( "\n" ); document.write( "4: ~X\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #826163 by Solver92311(821) $\"\"$ $\"About$

You can put this solution on YOUR website!
\r
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "1:  X V Y\r\n" );
document.write( "\r\n" );
document.write( "2:  Z -> X\r\n" );
document.write( "\r\n" );
document.write( "3:  (Y & ~Z) -> (W & ~Z)\r\n" );
document.write( "\r\n" );
document.write( "4:  ~X                     |  W\r\n" );
document.write( "\r\n" );
document.write( "5:  Y                      1, 4  Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "6:  ~Z                     2, 4  Modus Tollens\r\n" );
document.write( "\r\n" );
document.write( "7:  Y & ~Z                 5, 6  Conjunction\r\n" );
document.write( "\r\n" );
document.write( "8:  W & ~Z                 3, 7  Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "9:  ⸫ W                    8     Simplification\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "

\r
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( "John
\n" ); document.write( "

\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "

\r
\n" ); document.write( "\n" ); document.write( "From
\n" ); document.write( "I > Ø
\n" ); document.write( "

\n" ); document.write( "

\n" );