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