授業内容

1. 前回の復習
   1. モデル論的意味論
   2. 証明論的意味論
2. 論理結合子の条件
3. 保存拡大性