授業内容

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