SOLUTION: I'm a bit confused about logic proofs and I'm not sure if I'm doing this right. Any help would be greatly appreciated. Derive the conclusions of the following symbolized argume

Algebra ->  Proofs -> SOLUTION: I'm a bit confused about logic proofs and I'm not sure if I'm doing this right. Any help would be greatly appreciated. Derive the conclusions of the following symbolized argume      Log On


   

Question 332289: I'm a bit confused about logic proofs and I'm not sure if I'm doing this right. Any help would be greatly appreciated.
Derive the conclusions of the following symbolized arguments using natural deduction.
1. E > (A ∙ C)
2. A > (F ∙ E)
3. E / F

(Here is what I've come up with so far. I'm not sure whether I'm doing this correctly or not).

4. (A ∙ C) 1,3,MP
5. A 4,simp
6. (F ∙ E) 2,5.MP
7. F 6,simp
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
You have the correct steps. Good job. Although, you can drop the parenthesis from (A * C) to just say A * C