夏休み課題の件ですが、提出期限を変更いたします。 変更前：7月21日（メールもしくは教務へ） 変更後：8月20日（メールで） 問題はこちらです 前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授…