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) (Show Source):
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