授業内容

1. 前回の復習
2. 宿題の答え合わせ
3. 命題論理の完全性
4. 述語論理の完全性
5. 宿題