SOLUTION: 1. (~F&E) > (G>F) 2. F>~E 3. E /~G

Algebra ->  Proofs -> SOLUTION: 1. (~F&E) > (G>F) 2. F>~E 3. E /~G       Log On


   

Question 1061177: 1. (~F&E) > (G>F)
2. F>~E
3. E
/~G
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

NumberStatementLines UsedReason
1(~F & E) > (G > F)
2F > ~E
3E
:.~G
4~~E3DN
5~F2,4MT
6~F & E5,3Conj
7G > F1,6MP
8~G7,5MT


Abbreviations/Acronyms used:

Conj = Conjunction
DN = Double Negation
MP = Modus Ponens
MT = Modus Tollens