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

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


   

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) About Me  (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.