野矢茂樹『論理学』の、推論の論理式がトートロジーであるかどうかを調べれば、推論が正しいかどうかがわかる、というところ（pp. 40-41）の説明が簡単すぎて、ちょっと聞いただけではわかりにくい（でもすでに理解した人には当たり前）気がするので、補足し…

昨夜というか、今朝方、3時半に寝たのに、7時に目が覚めてしまう。そんなに眠くもないのでそのまま起きる。これはいいペースだな、と思ったのも束の間、案の定、いま激しく眠いぞ午前10時。 これから履修コースを選ぶ新2年生のガイダンスで、自己紹介。初め…