後期授業は10月6日(火)よりの開講となります。教室は前期と同じく第９講義室の予定です。 本日の授業内容 前期は、最小述語論理という体系について、論理結合子の導入規則と除去規則を意味を考えずに紹介してきました。 授業第十五回目、後期初回の今回は、…