SOLUTION: I need help deriving the conclusion using the 18 rules of inference. 1. C>(Dv~E) 2. E>(D>F) /C>(E>F)

Algebra ->  Proofs -> SOLUTION: I need help deriving the conclusion using the 18 rules of inference. 1. C>(Dv~E) 2. E>(D>F) /C>(E>F)       Log On


   

Question 924847: I need help deriving the conclusion using the 18 rules of inference.
1. C>(Dv~E)
2. E>(D>F) /C>(E>F)
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  C -> (D v ~E)
2.  E -> (D -> F)
/   C -> (E -> F)
----------------------------------------------------------------------
3.  C -> (~E v D)                  1           Commutation
4.  C -> (E -> D)                  3           Material Implication
5.  (C * E) -> D                   4           Exportation
6.  (E * D) -> F                   2           Exportation
7.  (D * E) -> F                   6           Commutation
8.  D -> (E -> F)                  7           Exportation
9.  (C * E) -> (E -> F)            5,8         Hypothetical Syllogism
10. [(C * E) * E] -> F             9           Exportation
11. [C * (E * E)] -> F             10          Association
12. (C * E) -> F                   11          Tautology
13. C -> (E -> F)                  12          Exportation



==============================================================================================================


Let me know if that helps or not. Thanks.

If you need more help, feel free to email me at jim_thompson5910@hotmail.com

My Website: http://www.freewebs.com/jimthompson5910/home.html