SOLUTION: need help using rules of implication and first five rules of replacment N>~F ~(XvV) (~VvJ)>(C&F) /~N

Question 981192: need help using rules of implication and first five rules of replacment
N>~F
~(XvV)
(~VvJ)>(C&F)
/~N
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1. N>~F
 2. ~(XvV)
 3. (~VvJ)>(C&F)
                /~N

 4. ~X&~V                    2, DeMorgan
 5. ~V&~X                    4, Commutation
 6. ~V                       5, Simplification
 7. ~(~VvJ)v(C&F)            3, Material Implication
 8. (~~V&~J)v(C&F)           7, DeMorgan
 9. (V&~J)v(C&F)             8, Double negation
10. [Vv(C&F)]&[~Jv(C&F)]     9, Distribution
11. [~~Vv(C&F)]&[~Jv(C&F)]  10, Double negation
12. [~V>(C&F)]&[~Jv(C&F)]   11, Material Implication      
13. ~V>(C&F)                12, Simplification
14. C&F                   13,6, Modus ponens
15. F                       14, simplification
16. ~~F>~N                   1, transposition
17. F>~N                    16, Double negation
18. ~N                   17,15, Modus ponens

Edwn

RELATED QUESTIONS
stuck on this problem please help Can use rules of implication and first five rules of... (answered by Edwin McCravy)

Hello there i need help with this question. using 8 rules of implication and 10 rules... (answered by robertb)

Parick Hurley edition 11 Logic I, using first 13 rules of implication and replacement (answered by jim_thompson5910)

Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)

use rules of implication and only DeMorgan, commutativity, associativity, distrubution,... (answered by solver91311)

With rules of implication and rules of replacement DeMorgan's, commutativity,... (answered by Edwin McCravy)

how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S (answered by Edwin McCravy)

Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight (answered by Edwin McCravy)