SOLUTION: 11) 1)A→(B→C) 2) ~C 3) ~D→A 4)C v~D Conclusion should by ~B, needs to be solved by using MP,MT,DS or,HS

Question 1011444: 11)
1)A→(B→C)
2) ~C
3) ~D→A
4)C v~D

Conclusion should by ~B, needs to be solved by using MP,MT,DS or,HS

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!


1)A → (B → C)
2) ~C
3) ~D → A
4)C v ~D
.: ~B
----------------
5) ~D            4,2   DS
6) A             3,5   MP
7) B → C         1,6   MP
8) ~B            7,2   MT

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

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)

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

Can you please help me solve this proof? I am stuck at line six. 1. (A → E)... (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)

Complete the following proofs using the Conditional Proof method. 1) 1. ~(P ∙... (answered by solver91311)

I need to help on the following proofs Proof 1 B ∧ F �(B ∧ G)... (answered by Edwin McCravy)

1. A→B 2. A→~(C∨B) ∴ ~A 1. (A&~B)&(~C∨D) 2.... (answered by Edwin McCravy)

SOLUTION: 11) 1)A&#8594;(B&#8594;C) 2) ~C 3) ~D&#8594;A 4)C v~D Conclusion should by ~B, needs to be solved by using MP,MT,DS or,HS

SOLUTION: 11) 1)A→(B→C) 2) ~C 3) ~D→A 4)C v~D Conclusion should by ~B, needs to be solved by using MP,MT,DS or,HS