@KCL,
It's crazy you said that. When I went through my philosophy degree, I pushed logic back for like two years. (As a side note, if you are using
The Logic Book by Bergmann... get a better book.) Then come to find out I really liked it. Also, congratulations on finishing your first year. I don't know if you heard the statistic, but by the end of the first year, the average number of majors in philosophy at second/third tier schools drops by 30%!
But you say you have an issue with derivations rules. Is this as opposed to replacement rules? Also, is it predicate or propositional logic? But I completely agree with your sentiments about math. Once you get it down, it becomes immensely satisfying.
But I'm glad you express a very bright future with us at the forum. The forum has a great variety of people contributing. You will certainly enjoy it.