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

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

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