document.write( "Question 981871: 1. H v (~T > R)
\n" ); document.write( " 2. H v (E > F)
\n" ); document.write( " 3. ~T v E
\n" ); document.write( " 4. ~H & D / R v F \r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( " 5. ~H Line 4 Conjunction
\n" ); document.write( " 6. (~T v R) Lines 1 and 5 by Disjunctive Syllogism) \r
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( "Thanks!\r
\n" ); document.write( "\n" ); document.write( "\"Basic Outline: Free up ~H. Then free up (~T > R) and (E > F). Conjunct them together, and use constructive dilemma.\"\r
\n" ); document.write( "\n" ); document.write( "Hi Jim, would you be able to show me the steps? I'm having some trouble with it, thanks!! :) \n" ); document.write( "

Algebra.Com's Answer #602796 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
~H is freed up in line 5. Then this is used to free up (~T > R) and (E > F). After that, they are conjuncted to get (~T > R) & (E > F). After which you use constructive dilemma.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	H v (~T > R)
2	H v (E > F)
3	~T v E
4	~H & D
:.	R v F
5	~H	4	Simplification
6	~T > R	1,5	Disjunctive Syllogism
7	E > F	2,5	Disjunctive Syllogism
8	(~T > R) & (E > F)	6,7	Conjunction
9	R v F	8,3	Constructive Dilemma

\n" ); document.write( "

\n" );