■
今週こそは授業をやります!
けど急用ができたらごめんなさい!授業連絡メール等に注意して下さい。
今週の授業予定
授業第七回目、本日から述語論理に入ります。量化子の初回は何故量化子なんか必要なのか、量化子∀との∃の導入の意図を説明します。数学では無限を扱いますが、無限は命題論理では分析しきれません。そこで、「無限」という概念をもっと分析し、たとえば「自然数は無限に存在する」から「5より大きい自然数が存在する」が推論できるようために、新たな記号∀との∃を導入します。
このように、形式化の際には、対象となるメタの概念を細かく分析することが鍵となります。
授業内容
- 前回の復習
- 宿題の答え合わせ
- 無限概念
- 量化子の導入
- 量化子のきまり