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

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

RELATED QUESTIONS
Construct proofs to show the following are valid: 1. ~E 2. F->(DvE) 3. ~D (answered by Edwin McCravy)

I can only use the 8 implicational rules 1. (AvG)>K 2. K>(B>F) (answered by jim_thompson5910)

1. (E→~K) 2. (M∨(~K.~H)) 3. (~M∨E) .: ~K Construct a proof to show that the... (answered by Edwin McCravy)

1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)

Prove that the following two arguments are valid using the method of Natural Deduction.... (answered by robertb)

I. Evaluate the following arguments: 1. 1. ∼B ⊃ [(A ⊃ K ) ⊃ (B v ∼K )] 2.... (answered by Edwin McCravy)

Complete the truth table to show whether the following argument is valid or invalid. If... (answered by solver91311)

I need help on this problem. I don't understand how to do proofs and I need all the help... (answered by Edwin McCravy)

Using the eighteen valid argument forms, prove that the following arguments are valid.... (answered by math_helper)