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

Algebra ->  Proofs -> 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      Log On


   



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