初級論理学なんて基本たんじゅんな記号操作ができれば最低でも可は取れるだろと思ってしまいがちなのだけどその「たんじゅんな記号操作」というやつが絶望的に苦手な人というのがある一定数いてそういう人たちをどう引き上げるかというのがここ数年来の課題。