遅いコメントで申し訳ありませんが・・・。 論理学(記号論理学ですが)は大学の時に履修しました。なかなか面白いですよ。 ベースとなるのは集合演算の考え方です。・・・あとは推論する際に統計学も少し必要かも、です。 では。