document.write( "Question 1061899: how to solve using indirect proof when there is a conditional in the conclusion\r
\n" ); document.write( "\n" ); document.write( "1. (AvD) -> M
\n" ); document.write( "2. ~(BvO)
\n" ); document.write( "3. R<->(O.T)
\n" ); document.write( "4. ~R<->A :. ~(M->O)
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #677614 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (AvD) -> M\r\n" );
document.write( "2. ~(BvO)\r\n" );
document.write( "3. R<->(O.T)\r\n" );
document.write( "4. ~R<->A      :. ~(M->O)\r\n" );
document.write( "\r\n" );
document.write( "             |5. ~~(M->O)                   AIP\r\n" );
document.write( "             |6. M->O                     15, DN\r\n" );
document.write( "             |7. ~B&~O                     2, DM\r\n" );
document.write( "             |8. ~O&~B                     7, comm\r\n" );
document.write( "             |9. ~O                        8, simp\r\n" );
document.write( "             |10. ~M                     6,9, MT               \r\n" );
document.write( "             |11. ~(AvD)                1,10, MT\r\n" );
document.write( "             |12. ~A&~D                   11, DM   \r\n" );
document.write( "             |13. ~A                      12, simp\r\n" );
document.write( "             |14. (~R->A)&(A->~R)          4, ME\r\n" );
document.write( "             |15. ~R->A                   14, simp\r\n" );
document.write( "             |16. ~~R                  15,13, MT  \r\n" );
document.write( "             |17. R                       16, DN\r\n" );
document.write( "             |18. [R->(O&T)]&[(O.T)->R]    3, ME\r\n" );
document.write( "             |19. R->O&T                  18, simp\r\n" );
document.write( "             |20. O&T                  19,17, MP\r\n" );
document.write( "             |21. O                       20, simp\r\n" );
document.write( "             |22. O&~O                  21,9, conj\r\n" );
document.write( " 23. ~(M->O)           lines 5-22  IP \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );