「数学探究ゼミナール」用の゛述語論理と証明”に関する教材作成

述語論理に対する理解を深め、数学の証明活用する訓練ができるようにする教材を数年前から作成してきたが、それを大幅に改良してほぼ完成させた