日課:論理

先に進む前に第4章の練習問題をもう一度。