■

12月26日は、これまでの宿題の回答、および古典論理での証明に関する問題演習とします。問題は当日配布します。