勉強。

共立の『応用論理』を読み中。いまだ一章の古典命題論理。さっさと一階述語まで行きましょう。