【MoL】Part I 完了

Part 1 Truth Functions の自分なりの再構築が終わった。Quineの主張にしたがって、implicationを判定する技法の習得を主体とした。問題を結構ごりごり解いた。やはり問題をやることは重要。理解の度合いとしては、70%くらいかなぁ。しかしスキルとして身に付けることが大事なので、今後も繰り返し問題を解いていきた。

さて、Part II General Terms and Quantifiers へ。