数理論理学

意味論的な論理学から構文的な論理学のお話へ進む。まずはG.Gentzenの古典命題論理(LK)について。論理結合子ごとの推論規則の説明があって、例としてある論理式から証明が行われたのだが、とてもきれい。驚きました。
で、この推論規則は実は１限目の方法論で使用される言語でも使われていて、なんか各教科の関連が徐々に見えてきた。おもしろいですなぁ。