document.write( "Question 1119897: Premises:
\n" ); document.write( "1. X ⊃ ~W
\n" ); document.write( "2. ~V ⊃ W\r
\n" ); document.write( "\n" ); document.write( "Prove: X ⊃ V \n" ); document.write( "

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

You can put this solution on YOUR website!

\r\n" );
document.write( "1.  X —> ~W          Premise\r\n" );
document.write( "2.  ~V —> W          Premise\r\n" );
document.write( "3.:: X               Conditional Proof (CP), assumption #1\r\n" );
document.write( "4.:: ~W              3,1 Modus Ponens (MP)\r\n" );
document.write( "5.:: ~~V             4,2 Modus Tollens (MT)\r\n" );
document.write( "6.:: V               5,  Double Negation Elimination (DNE)\r\n" );
document.write( "7. X —> V            3-6, CP\r\n" );
document.write( "\r\n" );
document.write( "

\n" ); document.write( "

\n" );