SOLUTION: Use the first eight implication rules to create a proof of the following argument. 1. B v C 2. (C ⊃ D) • (D ⊃ F) 3. (B ⊃ G) • (P ⊃ H) /G v D

Question 1157556: Use the first eight implication rules to create a proof of the following argument.
1. B v C
2. (C ⊃ D) • (D ⊃ F)
3. (B ⊃ G) • (P ⊃ H) /G v D
Answer by Edwin McCravy(20055) (Show Source): You can put this solution on YOUR website!


 1. B v C
 2. (C ⊃ D) • (D ⊃ F)
 3. (B ⊃ G) • (P ⊃ H) /G v D 

 4. B ⊃ G          3, Simplification
 5. C ⊃ D          2, Simplification
 6. G v D          4,5,1 Constructive Dilemma

Edwin

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

Complete the following proofs, choosing from among the first four Rules of Implication: (answered by AnlytcPhil)

Create a proof for the following argument. 1.~D 2.B ⊃ (C ⊃ D) /~(B •... (answered by math_tutor2020)

Construct a direct proof of validity for the following argument. Restriction: DO NOT... (answered by Edwin McCravy)

Use the first five rules of replacement (DM,Com, Assoc, Dist, DN) together with the eight (answered by Edwin McCravy)

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

Use conditional proof to derive the conclusion of the following argument. a) (N v D) (answered by jim_thompson5910)

Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)

Prove by direct proof. (use rules of interference) 1. ~ A -> (C /\ D) 2. A -> B 3. ~B (answered by solver91311)