SOLUTION: D→(B→C), B & −C ├ −D

Algebra.Com
Question 978496: D→(B→C), B & −C ├ −D
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
 1.  D→(B→C)   premise
 2.  B&~C      premise
       conclusion: ├ ~D

 3.  (D&B)→C,    1, Importation
 4.  ~C→~(D&B)   3, Contrapositive
 5.  ~C          2, Simplification
 6.  ~(D&B)      4,5, Modus Ponens
 7.  ~Dv~B       6, DeMorgan's Law
 8.  B           2, Simplification
 9.  ~~B         8, Double Negation
10.  ~D          7,9, Disjunctive Syllogism 
 
Edwin
RELATED QUESTIONS

I need help with proofs. Thank you! D →(B→C), B & −C ├ −D (answered by jim_thompson5910)
What are the proofs? (A → B) & (A → C) ├ A→ (B & C) (answered by Edwin McCravy)
I AM STUCK NOW. 12. (A → B) & (A → C) ├ A→ (B & C) 1) (A... (answered by jim_thompson5910)
Construct Conditional Proofs 1. (A v B) → (C • D) / A → C (answered by jim_thompson5910)
6) I can only use the 8 rules of inference... 1. (~B • ~C) → (D → C) 2. ~B (answered by jim_thompson5910)
Can you please help me solve this proof? I am stuck at line six. 1. (A → E)... (answered by jim_thompson5910)
1. A→B 2. A→~(C∨B) ∴ ~A 1. (A&~B)&(~C∨D) 2.... (answered by Edwin McCravy)
Choose the correct description of the end behavior of the function y = 0.5x A) As x... (answered by richard1234)
Solve the given proof for D. Include the rule from which each step was derived. Given: (answered by jim_thompson5910)