今週こそは授業をやります！ けど急用ができたらごめんなさい！授業連絡メール等に注意して下さい。 今週の授業予定 授業第七回目、本日から述語論理に入ります。量化子の初回は何故量化子なんか必要なのか、量化子∀との∃の導入の意図を説明します。数学では…