変更前：文学部第６演習室 変更後：総合研究2号館教育第３演習室（地下） 教務の方曰く「他に部屋がないので、机を並び替えて使って下さい」だそうです…。 授業第十五回目の今回は、「論理結合子の条件」について、証明論的意味論の立場から考えてみたいと思…