SOLUTION: Construct proofs to show that the following arguments are valid. 1.(AvG)>K 2.K>(B>F) 3.A.B ... (Conclusion is triple dot) F So far I've got 4. (AvG)>(B>F) 1,2 Hypothetical

Algebra ->  Proofs -> SOLUTION: Construct proofs to show that the following arguments are valid. 1.(AvG)>K 2.K>(B>F) 3.A.B ... (Conclusion is triple dot) F So far I've got 4. (AvG)>(B>F) 1,2 Hypothetical      Log On


   

Question 1101171: Construct proofs to show that the following arguments are valid.
1.(AvG)>K
2.K>(B>F)
3.A.B ... (Conclusion is triple dot) F
So far I've got
4. (AvG)>(B>F) 1,2 Hypothetical syllogism
5. B 3, Simplification
6. A 3, Simplification
I have to prove how F is the conclusion.
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

1. (AvG)>K
2. K>(B>F)
3. A●B  ... (Conclusion is triple dot) F

So far I've got
4. (AvG)>(B>F)  1,2 Hypothetical syllogism
5. B     3, Simplification
6. A     3, Simplification

Here's the rest:

7. AvG   6, Addition
8. K     1,7 Modus Ponens
9. B>F   2,8 Modus Ponens
10. F    9,5 Modus Ponens  

Edwin