SOLUTION: Solve the given proof for D. Include the rule from which each step was derived. Given: A → ~B ~(C^~A) B ~C→D Prove: D

Algebra.Com
Question 199701: Solve the given proof for D. Include the rule from which each step was derived.
Given: A → ~B
~(C^~A)
B
~C→D
Prove: D
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1.   A -> ~B
2.   ~(C ^ ~A)
3.   B
4.   ~C -> D              :. D
----------------------------------
5.   ~~B                          3      Double Negation
6.   ~A                         1,5      Modus Tollens
7.   ~C v ~~A                     2      Distribution
8.   ~C v A                       7      Double Negation
9.   C -> A                       8      Material Implication
10.  ~C                         9,6      Modus Tollens
11.  D                         4,10      Modus Ponens


RELATED QUESTIONS

Solve the given proof for L. Include the rule and premise(s) from which each step was... (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)
Which answer correctly shows the first step that can be used to correctly solve the... (answered by Edwin McCravy)
Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)
Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)
Examine the following unbalanced chemical equation: CO2 + C → CO. Which of the... (answered by Alan3354)
Choose the correct description of the end behavior of the function y = 0.5x A) As x... (answered by richard1234)
I need to help on the following proofs Proof 1 B ∧ F ¬(B ∧ G)... (answered by Edwin McCravy)