授業内容

1. 前回の復習
2. 古典命題論理の完全性
3. 古典命題論理の健全性