Ｋさんは「命題と証明」をただいま勉強中。真・偽、逆・裏・対偶、反例、背理法、必要条件・十分条件、など新しい用語がいっぱいで、ときどき困った表情を浮かべることも。ところが、あるとき急に楽しそうな表情に！ 「おぉ！やっと分かってきたのか！」と、…