document.write( "Question 1119185: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof.\r
\n" ); document.write( "\n" ); document.write( "1. R v ~S
\n" ); document.write( "2. ~R v T
\n" ); document.write( "3. T ⊃ (S • U) / S ≡ T \n" ); document.write( "

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

You can put this solution on YOUR website!


\n" );
document.write( "1. R v ~S                      Premise
\n" );
document.write( "2. ~R v T                      Premise
\n" );
document.write( "3. T —> (S • U)                Premise
\n" );
document.write( "4. R—>T                        2, Relation of Implication (IMPL)
\n" );
document.write( "5. ~S v R                      1, Commutative property (COMM)
\n" );
document.write( "6. S—>R                        5, IMPL
\n" );
document.write( "7.  S—>T                       6,4, Rule of Syllogism (SYL)
\n" );
document.write( "8.  T—>S                       3, AND elimination
\n" );
document.write( "9.  S <—> T                    7,8  BiConditional introduction (BI).    Done.
\n" );
document.write( " \n" );
document.write( "

\n" );