document.write( "Question 1010733: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
\n" ); document.write( "1. C
\n" ); document.write( "2. (C & T) > ~T
\n" ); document.write( "3. (C & ~T) > T / T < > ~T \n" ); document.write( "
Algebra.Com's Answer #626438 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( " 1. C \r\n" );
document.write( " 2. (C & T) > ~T \r\n" );
document.write( " 3. (C & ~T) > T / T < > ~T\r\n" );
document.write( "\r\n" );
document.write( " 4. ~~T > ~(C & T)      2, Transposition\r\n" );
document.write( " 5. T > ~(C & T)        4, Double negation\r\n" );
document.write( " 6. T > (~C v ~T)       5, DeMorgan\r\n" );
document.write( " 7. ~T v (~C v ~T)      6, Material Implication\r\n" );
document.write( " 8. ~T v (~T v ~C)      7, Commutation\r\n" );
document.write( " 9. (~T v ~T) v ~C      8, Association\r\n" );
document.write( "10. ~T v ~C             9, Tautology\r\n" );
document.write( "11. ~C v ~T            10, Commutation\r\n" );
document.write( "12. ~~C                 1, Double Negation\r\n" );
document.write( "13. ~T                 11,12, Disjunctive Syllogism\r\n" );
document.write( "14. C & ~T              1,13, Conjunction\r\n" );
document.write( "15. T                   3,14, Modus Ponens\r\n" );
document.write( "16. T v T               15, Addition\r\n" );
document.write( "17. ~~T v T             16, Double Negation\r\n" );
document.write( "18. ~T > T              17, Material Implication\r\n" );
document.write( "19. ~T v ~T             13, Addition\r\n" );
document.write( "20. T > ~T              19, Material Implication\r\n" );
document.write( "21. T < > ~T            20,18, Material Equivalence\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );