式計算はある程度できても、命題の同値変形がちゃんとできないとか
そもそも命題を正確に表現できないとかいうのをなんとかしてほしい…

幼稚園で「同じ仲間はどれかな？ 色で分けてみたり形で分けてみたりしよう」
なんてやってるのこそ実は数学なんだよね