SOLUTION: I'm very confused on this proof, could anybody help me out? 1. F > (H & J) 2. ~H v ~(J v W) / ~F v W Thanks!

Algebra ->  Proofs -> SOLUTION: I'm very confused on this proof, could anybody help me out? 1. F > (H & J) 2. ~H v ~(J v W) / ~F v W Thanks!      Log On


   

Question 981102: I'm very confused on this proof, could anybody help me out?
1. F > (H & J)
2. ~H v ~(J v W)
/ ~F v W
Thanks!
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
Abbreviations/Acronyms Used

DM = De Morgan's Law
DN = Distribution
Simp = Simplification
MT = Modus Tollens
Add = Addition

NumberStatementLines UsedReason
1F > (H & J)
2~H v ~(J v W)
:.~F v W
3~H v (~J & ~W)2DM
4(~H v ~J) & (~H v ~W)3Dist
5~H v ~J4Simp
6~(H & J)5DM
7~F1,6MT
8~F v W7Add