>>588
高校数学を使う場面はあまり無いよ。
素直に論理学やったほうがいいと思う。

述語論理と集合論についてを一通り押さえておけば、
あとは必要になってから勉強できる。
逆に、このへんがわからないと、そもそも勉強に取り掛かれない。