I need someone to come up with detailed answers for logic problems, specifically, predicate logic.

The answers will be used on a website I’m designing as a suppliment for online college students taking Logic online to meet their QSR requirements for an AA or AS degree.

The examples have been taken directly out of the text – but only half have answers, and none have detailed explainations. If anyone knows this well enough to help, email me at: googelyboogely@gmail.com. If you have a paypal account, I will compensate you for your time.

Example problem:

Justify each line which is not a premise in the following argument using Predicate Logic.

1. (3x) Ax > (x) Bx
2. (3x) Cx > (3x) Dx
3. An & Cn / (3x) (Dx & Bx)
4. An
5. (3x) Ax
6. (x) Bx
7. Cn & An
8. Cn
9. (3x) Cx
10. (3x) Dx
11. Dm
12. Bm
13. Dm & Bm
14. (3x) Dx & Bx

v = inclusive or (disjunction)
> = If then (conditional)
~ = not (negation)
& = and (conjunction)
/ = therefore (conclusion)