授業スライド・宿題 こちらから 参考文献 inversion principleといえばこの本。Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)作者: Dag Prawitz出版社/メーカー: Dover Publications発売日: 2006/03メディア: ペーパーバック…

前回の復習 前回の宿題 tonkの何が問題か Inversion Principle 宿題

授業第十三回目、証明論的意味論の第二回目で、論理結合子の条件の第二回、保存拡大性およびinversion principleを取り上げます。

授業スライド・宿題 こちらから

前回の復習 モデル論的意味論 証明論的意味論 前回の宿題 推論主義 論理結合子の条件 宿題

授業第十二回目、証明論的意味論の第一回目で、論理結合子の条件を考えます。今回、いよいよ Prior の "tonk" が登場します。

授業スライド・宿題 こちらから

前期の復習 命題論理の論理記号の導入・除去規則 述語論理の論理記号の導入・除去規則 論理結合子の意味とは？ モデル論的意味論 証明論的意味論 宿題

授業第十一回目、論理結合子の意味を考えます。今回は、特にモデル論的意味論についてご紹介します。また、証明論的意味論についても、さわりを紹介する予定です。

申し訳ありませんが、急用のため、10月6日（火）は休講とします。宿題は13日に提出してください。