公理系の完全性を検証するあたりまで読んだ。 明日で真理関数の理論の箇所は終えたい。 哲学のテクストの推論に関する章でも真理値分析の方法などが紹介されていたから、 あちらも参照しながら理解を深めたい。 現在の状態は、トートロジーかどうか確かめる…

二月に旧テクストを使ってレポートを出し不合格となっていたが、 今回は新テクスト＋２０１６年度版のレポートで新たにドイツ語一部の第一回を仕上げた。旧レポートのコメント欄も参考にした。 新テクストを最後まで読んだから、明日は第二回を仕上げたい。 …