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

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) (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
RELATED QUESTIONS
The problem states to solve. 4/(m^2-7) = 1 I came up with m = + or - sqrt of 11. (answered by edjones)

The Majik car rental company charges a flat fee of $21 per day and a mileage charge of... (answered by Hook)

Graph using the intercept method: 2x + y = 4. I am a bit confused on this one, any... (answered by Earlsdon)

I am not sure if I fully understand how to solve variations. Here is a problem that I... (answered by solver91311)

Hello! I am stuck on this question. I'm not sure if I should the percentages to decimals, (answered by math_helper)

I have a few problems and I'm hoping someone can help....i've probably done too much... (answered by MathLover1,Cromlix)

I`m not sure if I`m at the right forum. My daughter brought her homework home tonight and (answered by akmb1215)

I have to solve this equation by completing the square, and I'm a bit stumped. Any help... (answered by jim_thompson5910)

in a class of 147 students, 95 are taking math(M) 73 are taking science(S), and 52 are... (answered by stanbon)