SOLUTION: 6) I can only use the 8 rules of inference... 1. (~B • ~C) → (D → C) 2. ~B 3. C →B / ~D ___________ ___________ 4. 5. 6.

Algebra ->  Proofs -> SOLUTION: 6) I can only use the 8 rules of inference... 1. (~B • ~C) → (D → C) 2. ~B 3. C →B / ~D ___________ ___________ 4. 5. 6.       Log On


   

Question 189543: 6) I can only use the 8 rules of inference...
1. (~B • ~C) → (D → C)
2. ~B
3. C →B / ~D
________________________
4.
5.
6.
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

1. (~B & ~C) -> (D -> C)
2. ~B
3. C -> B   / ~D
------------------------
4.  ~C                   3,2    Modus Tollens
5.  ~B & ~C              2,4    Conjunction
6.  D -> C               1,5    Modus Ponens
7.  ~D                   6,4    Modus Tollens