SOLUTION: Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8.

Question 869969: Alright, I have access to rules:
1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8. addition 9. demorgan 10. commutative 11. associative 12. Distribute 13. Double negate 14. transposition 15. Implication 16. equivalence 17. exportation 18. tautology
Please help with this:
v=or
1. D v C
2. C > (F v D)
3. ~F
conclusion: D
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1. D v C
2. C > (F v D)
3. ~F
conclusion: D
-------------------------------------------------------
4.  ~~C > (F v D)                                  2      Double Negation
5.  ~C v (F v D)                                   4      Material Implication
6.  ~C v (D v F)                                   5      Commutation
7.  (~C v D) v F                                   6      Association
8.  (C > D) v F                                    7      Material Implication
9.  F v (C > D)                                    8      Commutation                                    
10. ~~F v (C > D)                                  9      Double Negation
11. C > D                                          10,3   Disjunctive Syllogism
12. ~~D v C                                        1      Double Negation
13. ~D > C                                         12     Material Implication
14. ~D > D                                         13,11  Hypothetical Syllogism
15. ~~D v D                                        14     Material Implication
16. D v D                                          15     Double Negation
17. D                                              16     Tautology

RELATED QUESTIONS
Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical... (answered by jim_thompson5910)

Hello, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism... (answered by jim_thompson5910)

Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical... (answered by Wolfae)

Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical... (answered by jim_thompson5910)

I'm having a ton of trouble figuring out this proof for our take-home quiz. We're only... (answered by jim_thompson5910)

Derive the conclusion from the given premise in the argument below by utilizing... (answered by jim_thompson5910)

Topics In Contemporary Math Modus Ponens and Modus Tollens 1) Create a truth table (answered by math_tutor2020)

I�m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)