I imagine an introductory logic course would be very useful.

Through my college career to date, I've taken an introducory logic course like the one you're got there (what book are you using, by the way?) and two semesters of introductory computational logic.

I score very well on the practice tests I've taken, and I'm certain that those courses were helpful. Plus,

*everone* should take a basic logical reasoning course - it'll be helpful everywhere.

Now on top of that I've taken a first-order logic class where the final was to prove the completeness of basic propositional logic (it took 26 handwritten pages to do that

) and a semester on Gödel's incompleteness theorem where the final was to prove said theorem. Those were two of the three hardest classes I've taken, and while I'm immesely proud of myself for completing them, I don't think they contributed any to my scores, so don't overdo it.