document.write( "Question 1061177: 1. (~F&E) > (G>F)
\n" ); document.write( "2. F>~E
\n" ); document.write( "3. E\r
\n" ); document.write( "\n" ); document.write( "/~G
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!
\r
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	(~F & E) > (G > F)
2	F > ~E
3	E
:.	~G
4	~~E	3	DN
5	~F	2,4	MT
6	~F & E	5,3	Conj
7	G > F	1,6	MP
8	~G	7,5	MT

\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Abbreviations/Acronyms used:\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Conj = Conjunction
\n" ); document.write( "DN = Double Negation
\n" ); document.write( "MP = Modus Ponens
\n" ); document.write( "MT = Modus Tollens\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

\n" );