Question 1193775: (~B ∨ E) ⊃ (C ⊃ G)
(C ∨ D) ⊃ (B ⊃ F)
B ∨ C
~B / F ∨ G
Answer by math_tutor2020(3816)   (Show Source):
You can put this solution on YOUR website!
Here is one way to do the derivation
| Number | Statement | Line(s) Used | Reason | | 1 | (~B v E) -> (C -> G) | | | | 2 | (C v D) -> (B -> F) | | | | 3 | B v C | | | | 4 | ~B | | | | :. | F v G | | | | 5 | C | 3,4 | Disjunctive Syllogism | | 6 | ~B v E | 4 | Addition | | 7 | C -> G | 1,6 | Modus Ponens | | 8 | C v D | 5 | Addition | | 9 | B -> F | 2,8 | Modus Ponens | | 10 | (C -> G) & (B -> F) | 7,9 | Conjunction | | 11 | C v B | 3,4 | Commutation | | 12 | G v F | 10,11 | Constructive Dilemma | | 13 | F v G | 12 | Commutation |
I used arrows in place of the horseshoes
|
|
|
