document.write( "Question 1207022: please use all 18 rules of natural deduction to derive the conclusion (/), thanks.\r
\n" ); document.write( "\n" ); document.write( "1. T ⊃ R
\n" ); document.write( "2. T ⊃ ~R / ~T \n" ); document.write( "

Algebra.Com's Answer #844832 by math_tutor2020(3817) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "I'll use an arrow symbol in place of the horseshoe symbol.
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Line(s) Used	Reason
1	T --> R
2	T --> ~R
:.	~T
3	~~R --> ~T	1	Transposition
4	R --> ~T	3	Double Negation
5	T --> ~T	1, 4	Hypothetical Syllogism
6	~T v ~T	5	Material Implication
7	~T	6	Tautology

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The Rules of Inference and Rules of Replacement are shown here
\n" ); document.write( " \n" ); document.write( "

\n" );