2010-12-21 ■ 授業第二十四回目、本日は古典命題論理と古典述語論理の健全性定理の話をします。 また、ヒルベルト流(Hilbert style)や列計算(sequent calculus)などの、自然演繹とは異なったスタイルの論理体系の書き方を紹介します。