document.write( "Question 1169574: Use conditional proof:
\n" ); document.write( " \r
\n" ); document.write( "\n" ); document.write( "1. G ⊃ (E ⊃ N)
\n" ); document.write( "2. H ⊃ (∼N ⊃ E) / G ⊃ (H ⊃ N) \n" ); document.write( "

Algebra.Com's Answer #794385 by math_tutor2020(3816) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "Here's one way to do the derivation. I'm using arrow symbols in place of horseshoe symbols.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The idea is to assume G is the case and show it leads to (H -> N).
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1		G -> (E -> N)
2		H -> (~N -> E)
:.	G -> (H -> N)
	3	G		Assumption for Conditional Proof
	4	E -> N	1,3	Modus Ponens
	5	(H & ~N) -> E	2	Exportation
	6	(H & ~N) -> N	5,4	Hypothetical Syllogism
	7	H -> (~N -> N)	6	Exportation
	8	H -> (~~N v N)	7	Material Implication
	9	H -> (N v N)	8	Double Negation
	10	H -> N	9	Tautology
11		G -> (H -> N)	3-10	Conditional Proof

\r
\n" ); document.write( "\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "

\n" );