授業内容

1. 前回の復習
2. 宿題の答え合わせ
3. 直観主義論理
4. クリプキ・フレーム
5. 宿題