document.write( "Question 1010505: can i have help solving this proof please?
\n" ); document.write( "Construct a regular proof to derive the conclusion of the following argument:
\n" ); document.write( "1. H v (~T > R)
\n" ); document.write( "2. Hv (E > F)
\n" ); document.write( "3. ~T v E
\n" ); document.write( "4. ~H & D / R v F \n" ); document.write( "

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

You can put this solution on YOUR website!
\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" );