SOLUTION: Complete the following proofs, choosing from among the first four Rules of Implication: (1) A>(B>D) 2. A>~C 3. Cv~D 4. A / ~B

SOLUTION: Complete the following proofs, choosing from among the first four Rules of Implication: (1) A>(B>D) 2. A>~C 3. Cv~D 4. A / ~B

Algebra.Com

Question 927239: Complete the following proofs, choosing from among the first four Rules of Implication:
(1) A>(B>D)
2. A>~C
3. Cv~D
4. A / ~B

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


1.  A>(B>D)
2.  A>~C
3.  Cv~D
4.  A 
       /~B	
5. ~C     2,4  MP
6. ~D     3,5  DS
7. B>D    1,4  MP
8. ~B     7,6  MT

Edwin

RELATED QUESTIONS
Complete the following proof, choosing from among the first eighteen Rules of Inference... (answered by Edwin McCravy)

Use the first eight implication rules to create a proof of the following argument. 1. B... (answered by Edwin McCravy)

Using the rules of implication and replacement, the proofs for the following problems.... (answered by Edwin McCravy)

1. R>~B 2. D+R 3. B /D Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)

Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)

Use rules of implication to derive the indicated conclusions. 1. R ⊃ (G v ~A) 2. (G... (answered by math_tutor2020)

Prove that the two arguments below are valid, using the method of natural deduction.... (answered by Edwin McCravy)

6) I can only use the 8 rules of inference... 1. (~B � ~C) → (D → C) 2. ~B (answered by jim_thompson5910)