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

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.

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) (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

RELATED QUESTIONS
7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2.... (answered by jim_thompson5910)

5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E... (answered by jim_thompson5910)

3) I can only use the 8 rules of inference... 1. (M v N) → ~S 2. T → (M v (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)

Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)

1) I can only use the 8 rules of inference... 1. P v Q 2.(Q � ~R) → S 3. R... (answered by jim_thompson5910)

4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P (answered by jim_thompson5910)

I AM STUCK NOW. 12. (A → B) & (A → C) ├ A→ (B & C) 1) (A... (answered by jim_thompson5910)

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

SOLUTION: 6) I can only use the 8 rules of inference... 1. (~B � ~C) &#8594; (D &#8594; C) 2. ~B 3. C &#8594;B / ~D ___________ ___________ 4. 5. 6.

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.