SOLUTION: Derive the conclusion from the given premise in the argument below by utilizing inference rules: C: A & C ----------- -- P1:

Question 916774: Derive the conclusion from the given premise in the argument below
by utilizing inference rules:

C: A & C

--------------

P1: A & B

P2: B -> C
I have looked back in my notes and I do believe I need to use modus ponens, modus tollens, disjunctive syllogism, hypothetical syllogism or simplification. I am having a hard time trying to figure out what the next premise would be or how to go about even knowing the next premise.
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
Step 1) Use simplification to get A and B separately (from premise P1)

Step 2) Use modus ponens with premise P2 and B (the B freed up in step 1) to get C

Step 3) We now have A and C as separate expressions. Combine them using conjunction to get A & C

That's the basic outline of how you solve this problem.
RELATED QUESTIONS
Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

Premise: (A & B) v C Conclusion: C v... (answered by jim_thompson5910)

Premise: ~(A->(B&C)) Conclusion: ~(A<->(B&C)) I've tried to Provisionally assume... (answered by jim_thompson5910,Edwin McCravy)

1. A > [B>(C*~D)] 2. (BvE)>(DvE) Therefore, 3. (A*B) > (C*E) Using conditional... (answered by jim_thompson5910)

Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)

Since an instant replay system for tennis was introduced at a major tournament, men... (answered by Boreal)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

Use conditional proof to derive the conclusion of the following argument. a) (N v D) (answered by jim_thompson5910)